{"entities":{"Q2566030":{"pageid":2576773,"ns":120,"title":"Item:Q2566030","lastrevid":72795039,"modified":"2026-04-14T07:53:14Z","type":"item","id":"Q2566030","labels":{"en":{"language":"en","value":"Locally Boolean domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207193"}},"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":"Q2566030$F11B6F32-EA10-4F04-B47E-738FAC86317F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b6c1877600b102b6aa0f799d19d762477bd67a5","datavalue":{"value":{"text":"Locally Boolean domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566030$E64DEF59-4354-441E-8EAE-E57DA7F3CE81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7806cafc3c15acd7950d3e92fc4f11c8ee8c795d","datavalue":{"value":"1077.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566030$A4FBF7C9-174D-4AAB-9E86-854C0EA567AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566030$285951C6-C8E5-411C-9A89-8EB4FBA56DDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566030$F4BE5E7C-A028-4168-8E3F-9E74A79DFBEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566030$6DCBB463-A4E6-4AF0-9D86-97E8DAE41788","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566030$4CA2A8C7-0A68-4B7B-A4CB-00B55F4992B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566030$6A05E318-0229-474A-A136-69F58F662E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566030$4B54B9C8-6C78-42D7-B553-4063B12A063B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6f6a1c9703807133d585a8ad008d8431caa7f28","datavalue":{"value":"2207193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566030$8536F89A-EE6D-4DBB-BDA2-6C5D06111EAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3e9677d66ceefa453568c158b067cad6510230","datavalue":{"value":"Domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566030$5AC0BD49-C9AC-42F5-8A98-8683CA09FC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7142bd9ebf78435d828f9b9d514b873f89afbf6","datavalue":{"value":"Linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566030$310F4A04-152F-4D66-A0E4-0FD2879B4AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16fb0d877c09815da749014e901a8d51d30235ee","datavalue":{"value":"Game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566030$03D9483D-3D52-44B4-A194-266AB71526F4","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":"Q2566030$D8AEA09B-6633-4882-9BC8-E02B941CF3E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"839b445811e155eb7ebc57a331323e428082b128","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.06.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566030$53D58249-890F-4087-977F-B608E7113955","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd925488ac28bfd9bb22d45da5f4c8a020b42d2f","datavalue":{"value":"W1982535387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566030$E6F95CAE-2EA3-4A41-949B-C0F493AB5895","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566030$25B33657-A0C4-43E5-8393-39E03999ED94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566030$27A6EA5B-0E01-4DA1-8820-57592EB32D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f91e65f1361da728c4984b4e5cc0f45065012e4","datavalue":{"value":{"entity-type":"item","numeric-id":1170880,"id":"Q1170880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566030$6A47F9C9-1E5A-48D7-8D8B-56E6758C3106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51bddb2bf403cf3f7ecab42f1faa3b67ecb48b91","datavalue":{"value":{"entity-type":"item","numeric-id":1327401,"id":"Q1327401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566030$E3C339DD-1BDE-4ED6-BD00-DEE5560B88BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bf621624426a416e625411fdb32dfd8d4c141b","datavalue":{"value":{"entity-type":"item","numeric-id":2842823,"id":"Q2842823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566030$8788F032-406D-40AF-AEC1-49D4CA4F5E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd53f5a9bb88544b66e40e8c34b8a55ff6c9ba07","datavalue":{"value":{"entity-type":"item","numeric-id":5292651,"id":"Q5292651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566030$6EABEBAF-45B3-4121-87F9-2BCB367ADBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03561727971b6f36d95dc0e581945304d28ad8a9","datavalue":{"value":{"entity-type":"item","numeric-id":1886321,"id":"Q1886321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566030$3D05EDC7-92F9-4989-B6E2-FE5B4C089C1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1f9a3f1b13f220db5fc187c8d518d05f7c72254","datavalue":{"value":"10.1016/J.TCS.2005.06.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566030$1284D925-4644-46BF-9491-A49F7835B0F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610b925395de804ffdeaf8f6f08bfda7b6591696","datavalue":{"value":{"entity-type":"item","numeric-id":5757150,"id":"Q5757150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb15fa5e922be644b4019fb9b6ce97ac2af01b4","datavalue":{"value":{"amount":"+0.8081414699554443","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":"Q2566030$D82F94C5-3689-47D5-963C-92AB425B9FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c69ae392441ba283187ea1e76259998961e93a2","datavalue":{"value":{"entity-type":"item","numeric-id":5890060,"id":"Q5890060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b679302ed0eec2070c20e910a19e54cb2a455735","datavalue":{"value":{"amount":"+0.7937422394752502","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":"Q2566030$48E3FD45-B68B-4054-A404-3CF10599C508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f524ea5e14d905099390452d15ce9e5d23c7353a","datavalue":{"value":{"entity-type":"item","numeric-id":4632439,"id":"Q4632439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5721d98f9cc0eab397dd3d7c25e4c78fd214ae22","datavalue":{"value":{"amount":"+0.7740583419799805","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":"Q2566030$ACA78495-C55A-460C-858A-2CFE9BF5B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc6631124684327386086aea3dc3e79c284c3d5","datavalue":{"value":{"entity-type":"item","numeric-id":5310690,"id":"Q5310690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b19ee687d9014f47bce79c0019d53493774129","datavalue":{"value":{"amount":"+0.7722404599189758","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":"Q2566030$E75CAC4A-D498-4270-870A-722CBE30A72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e556b8e836d83249a80e08583edd04b55ba04e06","datavalue":{"value":{"entity-type":"item","numeric-id":5292651,"id":"Q5292651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16013d6bb9351a8528d3afeecc1086f712d6cde9","datavalue":{"value":{"amount":"+0.7509869337081909","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":"Q2566030$5B753629-6656-4B7D-BFCC-F377C2C11CF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Locally Boolean domains","badges":[]}}}}}