{"entities":{"Q2891431":{"pageid":2902156,"ns":120,"title":"Item:Q2891431","lastrevid":84871511,"modified":"2026-06-02T15:36:50Z","type":"item","id":"Q2891431","labels":{"en":{"language":"en","value":"Decision procedures for region logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046591"}},"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":"Q2891431$92637CD8-74DD-4836-BFCC-D1549D72FB06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07b52421094e6c58784beefc0f1aba6c19fa6090","datavalue":{"value":{"text":"Decision Procedures for Region Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891431$5D1297C0-0C2A-4A39-BCD7-568281F2EA40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76f14f1a2351a72dc6a416444cc6206dd1537c6c","datavalue":{"value":"1326.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891431$79CB2C31-00AC-4F80-9EAE-521644472E9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b524ec4d2d7cb13041c9e82b8db32bae80376de0","datavalue":{"value":"10.1007/978-3-642-27940-9_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891431$F166343E-25D8-4AAC-BFD4-F7D5B2503ED5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9907913bd652b63ab7ef496feb7335280fabbe74","datavalue":{"value":{"entity-type":"item","numeric-id":2891430,"id":"Q2891430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$6DD46D9F-B9C6-4615-A565-D6678CB1897B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f34fe5b0fd83cb1c5e8ef43bf8fb3b8852cebeca","datavalue":{"value":{"entity-type":"item","numeric-id":859952,"id":"Q859952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$390235F8-C8C1-4ED2-A1D1-37BD63E9319C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8da218c5940996bf861c74f5da30c7db0689b4","datavalue":{"value":{"entity-type":"item","numeric-id":210001,"id":"Q210001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$82C044D2-4CB7-4370-BC4B-5D2B9D0FA86F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$82EA1078-FCFF-4444-8480-9D1CB1CCBFDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891431$810854BC-589D-4866-8C7F-F1421BBF207C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891431$843068DC-D05A-4E7F-B5F9-99CE890AD072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891431$9EE815F3-C133-4D39-BCB4-637164983621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891431$973A99F8-88C1-4449-A8A5-8A6DC41C2F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891431$BD1F1DBE-44FC-4E9D-A55E-97467BB31DC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1963bf44eaea6d8e00c642198628bd29d6e2d011","datavalue":{"value":"6046591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891431$4AF0C8CF-9EFB-403C-A241-C7600E0E8C77","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$24815971-F389-49E6-84B5-BFC12355E6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$EB649834-86EC-43CA-9334-24685E908530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$07782F16-C4B9-4E57-BAA2-48C4AA27062D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$4E8973A5-C09C-4823-8101-22DCD89E3DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91da7b9261bf843d14eec23a7b6c748d6f4f0824","datavalue":{"value":{"entity-type":"item","numeric-id":25196,"id":"Q25196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$5F074259-D053-4238-8C8E-10A77D4A0554","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":"Q2891431$CB2CB5D6-1853-4CB5-ACB5-78DE075A4042","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"784712e7e3e4283887ff4186d0b1cd50311da84e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27940-9_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891431$7C442F7D-4A92-465D-A372-0D24EE7A6F72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa210edd7147db9385cb1416743137d5456240b8","datavalue":{"value":"W74662786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891431$92C8DA43-D527-412A-8082-A37BDB329FB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64a9ce1df6d32a732886ec13ebc30e0107b2809","datavalue":{"value":{"entity-type":"item","numeric-id":2864402,"id":"Q2864402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$E7832866-5BF1-4F3F-927E-8846F0E5D36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$563970A3-08DE-4425-B64C-D8ED9A8E3D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$91DFFF18-08DA-4198-858D-511362E3EAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$94A581B7-5C86-4155-8F64-450F2B8D56B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b31d42752818e20953d134c34840978912619e","datavalue":{"value":{"entity-type":"item","numeric-id":1854523,"id":"Q1854523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$E7D6B0C3-7871-4F05-8D12-5C73C9F9E71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$9D8CFD05-A695-4544-ABB0-37E16F5E3625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef552af965d052b8ba64fe1fd78aa90edf47625","datavalue":{"value":{"entity-type":"item","numeric-id":5394619,"id":"Q5394619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$27D8AD5E-7865-4369-90DB-004DBE2BEC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278276176b213e20723f5199a3fe875c19d6492","datavalue":{"value":{"entity-type":"item","numeric-id":3608775,"id":"Q3608775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$3325F688-48E8-42CE-9650-924715D222FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$4B748528-9989-461D-8F13-E111C7F072C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cd3d0ab7baf861d4f18d631f83f4f2c47afc7c","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$0AFED85E-8145-4E79-8726-1454EBD4198B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$E1740083-FCB2-457E-97C5-2FBD52E75E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$5AAAE4A3-535C-4B56-A320-FAAC3C7AAFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6489cf91e9b20f63ed7456f579d1977e07a3f9","datavalue":{"value":{"entity-type":"item","numeric-id":3075499,"id":"Q3075499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$AC42A803-8415-4EA2-8825-C8E50048ED89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dbda54a9ee4ee0fe4594de23fc72ac31b585ec","datavalue":{"value":{"entity-type":"item","numeric-id":3656897,"id":"Q3656897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$F646A3ED-C2F2-4388-8771-85DE67C8EA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cbfbc588388370bcf25513bfdd8bc82891f4f4","datavalue":{"value":{"entity-type":"item","numeric-id":5305665,"id":"Q5305665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891431$084C2EA5-994B-4B9A-B398-EB1831524794","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1337f6f778fe290fe3a403311747133f44a1a0","datavalue":{"value":{"entity-type":"item","numeric-id":1990511,"id":"Q1990511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48730b94f0292d59ad2745862d5c55c91f1199cd","datavalue":{"value":{"amount":"+0.7380810379981995","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":"Q2891431$56A4F3B9-2D53-4790-9C9B-0B25F2D45CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba51166c471e9289a0ecc3d71d73a5b4685b7ff","datavalue":{"value":{"entity-type":"item","numeric-id":4633544,"id":"Q4633544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32385a7f895f70fe697704b04ae11c43d2d188a9","datavalue":{"value":{"amount":"+0.7195475101470947","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":"Q2891431$334F8A86-9FC7-451E-AFE3-004B36A7C54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd92fcbd187999428755f3015a6c0079f87cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7bedd26b87498f470ae494098675ed635f481f","datavalue":{"value":{"amount":"+0.7190381288528442","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":"Q2891431$760549FA-7ED8-49D7-84C4-3EF0913FC585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250834f45f057a927abfea28e9f0a9bff54c14a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd8b53ab66a6ebb0e076e01d9012a8e12ebca6bc","datavalue":{"value":{"amount":"+0.7150524258613586","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":"Q2891431$04DF6F3C-1A3A-430E-8B60-B39698359FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08912331d8e77cc41be4fb52d38eaa1484cd116","datavalue":{"value":{"entity-type":"item","numeric-id":862390,"id":"Q862390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342f85e9a6b646d24bafb3d394bddc682fb519fd","datavalue":{"value":{"amount":"+0.7091541290283203","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":"Q2891431$7FE3872F-80AE-498B-8AE3-93C6A40F4ED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedures for region logic","badges":[]}}}}}