{"entities":{"Q3587452":{"pageid":5617356,"ns":120,"title":"Item:Q3587452","lastrevid":90347315,"modified":"2026-06-04T19:56:39Z","type":"item","id":"Q3587452","labels":{"en":{"language":"en","value":"B and D are enough to make the Halpern-Shoham logic undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5780558"}},"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":"Q3587452$F24EEDD1-B298-48B3-A094-D0909D87E557","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbb1c1eecf053353954a1a47fa92848f423c924e","datavalue":{"value":{"text":"B and D Are Enough to Make the Halpern\u2013Shoham Logic Undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3587452$642EB821-5F4B-423B-9CDF-57A716D5B6F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a339e7bea9d253ed096db16de2d5d301919666aa","datavalue":{"value":"1288.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587452$DBBF4264-8955-4DC5-B0BC-76E4A6006375","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae9f43cc853088fa7f4eba660afcc8dc2b40f61d","datavalue":{"value":"10.1007/978-3-642-14162-1_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587452$DCE8709E-9CC0-426B-8C9A-511B09AB336E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc17e3cfe92adeb4ff2e5b343b40508dcb4c5aec","datavalue":{"value":{"entity-type":"item","numeric-id":314824,"id":"Q314824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587452$1F060588-BE03-47D6-BA84-EE20961EFDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"602031367905da417140a473efe6714bfd2f9fda","datavalue":{"value":{"entity-type":"item","numeric-id":2009650,"id":"Q2009650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587452$CD2A122D-A393-4184-A8B5-2EAEB286B3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587452$645CE63E-88F5-4E7C-9578-978627527534","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587452$8228594B-2B19-4C91-8B64-76F3838E9D78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2243fd9e92593f5db7a6acc36a5542d36cbb6fd7","datavalue":{"value":{"time":"+2010-09-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":"Q3587452$4C0380A2-275B-4FAC-AC78-17F6F526DFFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587452$CA734B32-C210-4E8B-8F9E-A28A65010885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587452$0E981169-AE13-4E36-AFBF-7F6795730BD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f9d7f59037de1a784258d89320c56b0ccd31efd","datavalue":{"value":"5780558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587452$AFBB160E-ADE3-4400-ADDA-916A81FE2FF0","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":"Q3587452$CCCCF043-5AF6-4B79-8A40-D8B5F616AA4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a846d273a0c4d490ac5d9cd9eb74c06cec44ae7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14162-1_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3587452$E14F3510-7793-4523-83CA-8A0614B70E62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61bbc3409d783b5d453d0751b4a388bb63ee6797","datavalue":{"value":"W1532356668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587452$0666C2AF-4551-4947-8D2A-316D6D4CE5A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c383885fc1a6393493fa6c5302743d4e9d04845e","datavalue":{"value":{"entity-type":"item","numeric-id":5415296,"id":"Q5415296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0d516f07c796003725eaf62d09e02fd8d2be29","datavalue":{"value":{"amount":"+0.9102537035942078","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":"Q3587452$A7F93EFE-3E60-41D3-9176-F40C845F5719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"160fab820e4abf8827a08fd17b373c0f00e76b2c","datavalue":{"value":{"entity-type":"item","numeric-id":2251125,"id":"Q2251125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b0c89e7e217e11ac7b16be474f819d66dffba5","datavalue":{"value":{"amount":"+0.8429643511772156","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":"Q3587452$35EB5F7B-3BB4-46CC-A344-5160D9151F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dfa1df44b7ca857cc6efbbbd0f7af7d9d21414f","datavalue":{"value":{"entity-type":"item","numeric-id":3587451,"id":"Q3587451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e675cdfc96626eba4f740a30a9244682b90e0fbc","datavalue":{"value":{"amount":"+0.8410499095916748","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":"Q3587452$65105445-CDA0-4902-BFCE-30EFE818100B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6c8a2302d5ac75ea95a38c82d33a6bdc4d770f","datavalue":{"value":{"entity-type":"item","numeric-id":5369240,"id":"Q5369240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b3807547a4dddb3de423a2adc30dd8a66737c9","datavalue":{"value":{"amount":"+0.8086860775947571","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":"Q3587452$D96E4CC7-0B20-42AE-82A6-380C2CC74927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9f889bec4a3b34522d8254516c6fc042ece6db","datavalue":{"value":{"entity-type":"item","numeric-id":2922038,"id":"Q2922038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7897f0d668f410dde0a4a755a78454f6bab92cc","datavalue":{"value":{"amount":"+0.8024564981460571","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":"Q3587452$BE078462-CC66-4A44-B3B6-5BA45C0A0A26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"B and D are enough to make the Halpern-Shoham logic undecidable","badges":[]}}}}}