{"entities":{"Q679332":{"pageid":681181,"ns":120,"title":"Item:Q679332","lastrevid":63433200,"modified":"2026-04-11T13:07:02Z","type":"item","id":"Q679332","labels":{"en":{"language":"en","value":"Dense time logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1002409"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679332$2C82C4C1-A052-4E87-91BB-70A2E6B9346B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ab08ab8252db57752c71a10cb745ed5bbb2801d","datavalue":{"value":{"text":"Dense time logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q679332$405B43F7-F41E-4CB5-A4F9-9E3688F94B6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ea395c13cdb4fac34913d1ce3a25dda1b6e44c2","datavalue":{"value":"0867.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679332$FFF66949-59F4-4034-8F18-97166EC931A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cde2c9d1302f5dcfea7f3b6e0668a0feb5a5b62","datavalue":{"value":{"entity-type":"item","numeric-id":679330,"id":"Q679330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679332$50B80627-B7DE-4DF4-9A17-5ABA5723D056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0026bfbd07429e970ce87ad95c7023db4554b096","datavalue":{"value":{"entity-type":"item","numeric-id":1729137,"id":"Q1729137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679332$F0C2F632-85D2-4428-BF5A-5B7C03DD6A48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679332$34A4C0EC-8F1F-41B4-A71F-6187FFA97EB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ac8443813f2a05dafec6041e70cd505aec3d667","datavalue":{"value":{"time":"+1997-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q679332$0C25BEB7-4804-481F-8116-DFC3071C9926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679332$40AF7200-F854-41C4-B245-F50E04323035","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec237f56edd87254275b12c612cc0bd2c88f9ae6","datavalue":{"value":"1002409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679332$6AEDDBC1-08CF-43CD-96C6-1E36E43E0C14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd60ec5d26297f6ef50c42d4729a9f4ba8d3355b","datavalue":{"value":"dense temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q679332$43749BFF-9FD4-4801-8B47-8F11C3B80F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098e7d29c24efde6e8eb04081018233398931b32","datavalue":{"value":"omega trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q679332$9B83A792-79EE-45AA-8F3B-F6A10B297957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0dd6430ffcea680acc23fac167e1619a4ddf46","datavalue":{"value":"ordinal trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q679332$85F38ABB-CAAE-4D2F-A34E-A939B6D995C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0ab6077ef06669963af2f9fcbce1513b30ecb6","datavalue":{"value":"temporal horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q679332$31B2BD4B-FCA8-43BD-AECB-807ACCD5AD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f993ea80f45f9fabdb835434c8c38188fdb912","datavalue":{"value":"ordinal structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q679332$6273C58B-244C-4B4D-A87D-DDBC23629318","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679332$23503384-C4E6-499C-B312-F7BBF03D87ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41188ee295e77535cb4ef232e1a004638fbe57ba","datavalue":{"value":"https://doi.org/10.1006/jsco.1996.0067","type":"string"},"datatype":"url"},"type":"statement","id":"Q679332$80F419C6-03E2-4500-A232-D5C20F9108F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1eec331ec2820bc6a9dba2066a9f9a178e9090b4","datavalue":{"value":"W2009309628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679332$E5C1ACD1-29F5-4E31-890E-7932790FC3A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"137740228771d79b3ab36075b51745dc5dd3a72b","datavalue":{"value":"10.1006/JSCO.1996.0067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679332$F102C810-FF62-4731-83FB-00577C4F633D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49362bb729c585498bb2f70ad707fb98a2e3adc6","datavalue":{"value":{"entity-type":"item","numeric-id":5044765,"id":"Q5044765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0dbf384713ff6c8693ca39209dc5e02c9a4668","datavalue":{"value":{"amount":"+0.8471235632896423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679332$3BE393BB-A723-4F06-92FE-5369B8F540FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930ce10de5d502a6ae831db68742f99f6e94b7a","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0117e53721d046189803d3eed68c9dd6577bb58c","datavalue":{"value":{"amount":"+0.7869044542312622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679332$C1F9A773-A3CB-4369-B7B7-4BE122E22DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c93d83bedb055c4f37d7902417154b1f1a6d9e","datavalue":{"value":{"entity-type":"item","numeric-id":4733441,"id":"Q4733441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acab05970ea8fa377423c435096b728408cd6a6","datavalue":{"value":{"amount":"+0.766287088394165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679332$63CAE9D2-0FEA-4601-A4F3-DCDD78FA27C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14cf5c142c8a78612ec5a745260d16bded5e1909","datavalue":{"value":{"entity-type":"item","numeric-id":4036284,"id":"Q4036284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e4971f362a6f367a97c35fcc4521b9bc2271b79","datavalue":{"value":{"amount":"+0.7610308527946472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679332$D4B0DD38-869A-4D73-8D4E-BA399672307B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978a42e60a73248c917509380ff8f108c964b533","datavalue":{"value":{"entity-type":"item","numeric-id":4733442,"id":"Q4733442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a1905e80e3ff27595f0710f1c3a0c8b1070747","datavalue":{"value":{"amount":"+0.758150041103363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679332$2CEAC729-9CCB-433D-974F-C62C52C260CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dense time logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dense_time_logic_programming"}}}}}