{"entities":{"Q5027249":{"pageid":7056826,"ns":120,"title":"Item:Q5027249","lastrevid":91203872,"modified":"2026-06-04T22:31:43Z","type":"item","id":"Q5027249","labels":{"en":{"language":"en","value":"Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7469222"}},"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":"Q5027249$FE5E8711-428E-4605-883F-6EC7D8D8AAA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20819ddea58f8ce081992a2b2c9a12b81244fb49","datavalue":{"value":{"text":"Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5027249$103630E3-380E-4A0C-9B17-AE543D66F5FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4504d739b10e9564cb88bcb97b359803295488a7","datavalue":{"value":"10.1007/978-3-030-71430-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027249$069B91ED-76D4-4CAF-9479-47BB0DA330E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbef5fbf2c22ac7944dd98f586135acfd8baf7de","datavalue":{"value":{"entity-type":"item","numeric-id":687164,"id":"Q687164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$ED5C9A6C-7FA4-46A7-A359-68D3A67A7DF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$0659F02C-6FEB-44A6-8D22-0218A652D1E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2aae6b217c4654571ba2a708c7fb3773e43375a1","datavalue":{"value":{"time":"+2022-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5027249$BD8E94F6-2060-44C3-B40E-FC21592AFFD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027249$99D693E3-2F53-404E-8F5B-968ABC7388D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1beff6df43d002c060ee5c11427940bc71c4816c","datavalue":{"value":"03Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027249$65E7E801-DB55-4ED8-9E38-765AF5C6291A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cab6f10748e27365869b4c386a1f6b59bba0755a","datavalue":{"value":"7469222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027249$105B0FD9-D126-400E-B305-45A10BE5DE75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027249$B21942A0-6D4A-41EA-B0E8-84396AF130C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027249$4ACAFB0D-1869-418E-83A8-34B33149937D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027249$6893BC05-73E5-4E1F-B18F-36EC54EFBD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f6395a84ffd3fd50eb56d717b055adb3801a0e6","datavalue":{"value":"lattice-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027249$50397C5A-1718-459D-B003-B16AB65C67CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027249$03B88B33-20D5-448B-BDA8-D743301F66F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b1b3bc28dc769d0232a153c26358d9a72db3c29","datavalue":{"value":"Thich Nhat Hanh","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027249$FE3E0FF9-CB45-49CE-883F-6802B568E78F","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":"Q5027249$DCD49555-3F1E-4C08-89BD-D09B619BCD7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b86d7b975c4d576396cf19e34a47de3d87884a2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-71430-7_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5027249$F199C6E8-5D5C-4625-907C-75DA50CD6A98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a190dfda3347cbebc7ca7f3c318bf57777d0849e","datavalue":{"value":"W3202069600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027249$DACDEFD0-7CB9-4B78-8B83-91BAA4FA69B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb566ffc0d1aa3c71a6b61a126eb5d0cc27b30e1","datavalue":{"value":{"entity-type":"item","numeric-id":3222165,"id":"Q3222165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$EAEBADC2-7CA6-42F3-BC1C-DEF381FD032C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$82D158C0-4E3D-4A94-9726-AA2FD86FF7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$6A6281B3-B18B-41CF-A7D6-32B4EA9CAE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$3D29163F-189F-4804-8451-0E440BFC90D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$411A5FAD-C48B-4894-92B2-DCC1A31B9891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c306b39aa8b0d700bb24d9834aa4bd7dc7a34a","datavalue":{"value":{"entity-type":"item","numeric-id":687165,"id":"Q687165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$E292BE1C-24A2-47BB-9746-C22F9C870662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$C49CE2F2-0960-46D4-96BA-2239DD94967E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691105ca476c2719b488404b0e0b9ce0488cc6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4851550,"id":"Q4851550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$17C23C52-6442-412C-9002-E763C4D493C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$92F321D6-3076-4F44-A3E8-522E23C43661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39e3c342e66df036e61e224b5255faaf947b35c","datavalue":{"value":{"entity-type":"item","numeric-id":4165426,"id":"Q4165426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$FEB40DB8-CB78-4C45-B1D4-BDB4DE5A890B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$D45B6079-021D-4E8A-A532-BBC58DD20E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0500b1f20fcdf72f00e1b86949bf6be01ecf3384","datavalue":{"value":{"entity-type":"item","numeric-id":4844168,"id":"Q4844168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$E1AECEAB-7757-4148-B862-F5B367F0AC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$36014ECA-A8BE-436D-B165-B6ADCD05F038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$7069521F-08F7-40ED-AF4F-9A51431FE721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2caf86375d5742ea2c000a772a856d31236b04b6","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$56E1B0B2-A09C-42A5-B86F-8D00ECF788F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6adcb6c1ad08ccdf6629343d1bd879e5570aab","datavalue":{"value":{"entity-type":"item","numeric-id":1781107,"id":"Q1781107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027249$8F17168F-34F3-4F53-8704-7688ABEE7D27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b92ef374e5ece3b5c0e32087be07f36941d0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4218016,"id":"Q4218016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57bab688b7a767f01302a9de355ab3e491c2c73","datavalue":{"value":{"amount":"+0.6856879591941833","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":"Q5027249$1B0C1FB5-C9D9-4A94-94DE-A57ABAB1845A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c926c635655052aecdc7c33c805b09eacd39ab36","datavalue":{"value":{"entity-type":"item","numeric-id":3814769,"id":"Q3814769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd1b146255cab9e4be5159c5b7499dfd8693e382","datavalue":{"value":{"amount":"+0.6611846685409546","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":"Q5027249$AAF0CB67-5EB2-4C90-9CF5-DC17493AB038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e15fa022b0c67534bbf909fcfbd966f7f1fd11","datavalue":{"value":{"entity-type":"item","numeric-id":5212039,"id":"Q5212039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a310448dd65d6f817b621844e48bf843acbaaf1","datavalue":{"value":{"amount":"+0.6481961011886597","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":"Q5027249$9F52BD55-5D88-4D71-8CCA-58EA26F4ADE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84241214229feae53e2d68b415a3cf397a8588e8","datavalue":{"value":{"entity-type":"item","numeric-id":6200761,"id":"Q6200761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1872576f43a92cf5f010a8103c77d4baccb572f3","datavalue":{"value":{"amount":"+0.6429086923599243","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":"Q5027249$86DEFA46-F731-49D6-A649-409A0AB7A6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f99380b1be2d46535ba61fd4254a3ad0040e947","datavalue":{"value":{"entity-type":"item","numeric-id":6110187,"id":"Q6110187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7de3017a70f8541d9437a75965c2fccabc25860","datavalue":{"value":{"amount":"+0.6413368582725525","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":"Q5027249$D6913B09-A2A5-4A06-94C7-83B5802085DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals","badges":[]}}}}}