{"entities":{"Q4323007":{"pageid":6352608,"ns":120,"title":"Item:Q4323007","lastrevid":81811433,"modified":"2026-05-06T19:24:42Z","type":"item","id":"Q4323007","labels":{"en":{"language":"en","value":"Extending Temporal Logic Programming with Choice Predicates Non-determinism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 722158"}},"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":"Q4323007$0EAD0A57-2734-4B06-A7EB-833C350484B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d900f77ce0819a7f281db86a11678672a1d605f1","datavalue":{"value":{"text":"Extending Temporal Logic Programming with Choice Predicates Non-determinism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4323007$247A4A7C-8EFF-4CE0-B60F-A617BF532F74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08b1651fde8d777ac12f831fac988257036dbc7a","datavalue":{"value":"0824.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323007$7B1C68B5-AD27-4BA9-B6CB-A1A517D3166B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"968189839c7fc279d65671c9e34dac7d45d8cd1c","datavalue":{"value":{"entity-type":"item","numeric-id":421349,"id":"Q421349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323007$9E85B8E7-99BE-4480-8CEE-9043AD44D9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f75b0974d4d5c1a2893e608fd0ac428b68651de","datavalue":{"value":{"entity-type":"item","numeric-id":987827,"id":"Q987827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323007$2EF25794-5DCC-455C-BCA0-ED2E14CD449D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a62180d15627913497e6832e08277639c733b1a7","datavalue":{"value":{"time":"+1995-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4323007$A1120856-232D-49D3-AD84-6971CD963B12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"274138ba1c43a22500f6ad9b86c24c5b4ef4eba6","datavalue":{"value":"https://semanticscholar.org/paper/f3cfb496b0ef1e50662d7ebd25845b994f73d92f","type":"string"},"datatype":"url"},"type":"statement","id":"Q4323007$8795384D-6908-4CD5-A5D7-F6E43E09869B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323007$A0F7E69A-77D3-43EB-8705-9AD15146D5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323007$36B2044E-6CB9-40AB-B98F-7C55ABB7F7D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b6ce0b49e28bda709bc586db414742bb9c40ac5","datavalue":{"value":"722158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323007$CE7D1176-8F7A-4156-B1DB-03594E26756B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc6c139b1b9cca509dfe8280d0849ca8f18e3cc","datavalue":{"value":"chronolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323007$589DD6BF-B3BC-457C-B379-BB7369FCF8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c42c3187d81ec934fd1a13398ef45837e4e0d2f","datavalue":{"value":"temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323007$CE1A4F4B-BB39-4E78-98B3-1ED8D66D4138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323007$2508A5D9-F244-40CC-8240-1D35605628AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edee3cddc91c464328934eb84570959569033c3f","datavalue":{"value":"alternating chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323007$6B9DE80E-A296-4F6E-B8DE-E00F3650103A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4d523acd2aa09d679b71209de55d514efc84eab","datavalue":{"value":"Chronolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323007$2BAA01AF-02DF-4063-9CCD-62D63E15F4DB","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":"Q4323007$E7FE43FC-A6DF-486D-A7A5-CF130019F8C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2df2c4aa31b70008026626e94581b7d942879a47","datavalue":{"value":"W2044395449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323007$2CDA5A38-2DF5-4E8D-B7C1-E05BD722BADA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"585b732115e6f681c78fc23c5e767f5d90d6e48f","datavalue":{"value":"Q58185360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323007$16E78F6C-AA75-4437-8DAA-26069942DA1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e890ce76781f008a22a1e80858c2598685948f32","datavalue":{"value":"10.1093/LOGCOM/4.6.877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323007$B2706535-978D-434E-B390-087761C4F977","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"19a800c0c2c3b676987ace4d0357b7f34b3ee2b6","datavalue":{"value":"journals/logcom/OrgunW94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323007$381B2C43-7356-4AB4-B2C6-D346B38670D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323007$AFCF9B0C-818A-424B-86C3-5D693A02DA7F","rank":"normal"}],"P1643":[{"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":"2fe76d61a54a433e737f933629b927cf8cebbf0c","datavalue":{"value":{"amount":"+0.7665679454803467","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":"Q4323007$9C80F17B-324E-4433-9847-19EAF313D6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f634dace4bc0d4fac1c21846bd47c4aa550e4699","datavalue":{"value":{"entity-type":"item","numeric-id":4876388,"id":"Q4876388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68eaab89683d34831f3a6eb29b62704e40cb412","datavalue":{"value":{"amount":"+0.7598745226860046","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":"Q4323007$E7D6B2E2-11BB-49DC-AD89-8DB199A8D273","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":"78eecc5758047df6d505b8d92152211c8b0a88cb","datavalue":{"value":{"amount":"+0.7556183338165283","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":"Q4323007$C7BB56B7-5DE1-423D-ACD4-AECB67A03EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1c665125a7fe7e682f40814234a1c669e4da4e","datavalue":{"value":{"entity-type":"item","numeric-id":5929097,"id":"Q5929097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3983b66f2c4ecf5ae57c4b3ff1f6913c0faa0531","datavalue":{"value":{"amount":"+0.7556101679801941","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":"Q4323007$BE4E67DB-ED54-418A-B72B-3CD163B6C67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4200ebfa4f1f91bad240865826b5557c025dc92d","datavalue":{"value":{"entity-type":"item","numeric-id":4004424,"id":"Q4004424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f79f2c96e780f740fbe597481d2885a14be9464","datavalue":{"value":{"amount":"+0.7412700653076172","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":"Q4323007$485466FF-C21D-494E-9357-11C934A50031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending Temporal Logic Programming with Choice Predicates Non-determinism","badges":[]}}}}}