{"entities":{"Q5310632":{"pageid":7340206,"ns":120,"title":"Item:Q5310632","lastrevid":92118254,"modified":"2026-06-05T00:54:49Z","type":"item","id":"Q5310632","labels":{"en":{"language":"en","value":"Labelled transition systems as a Stone space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200102"}},"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":"Q5310632$3A67127D-7DFD-4EA0-BD92-F1A2598A184F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee8fb7fcae722d1e373f47e1ebb85ebe13658bd8","datavalue":{"value":{"text":"Labelled transition systems as a Stone space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310632$EFA66E22-9571-4346-86F3-0FACA9708EED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ac9038961fd04edbcc84f910007899d4f6271e7","datavalue":{"value":"1125.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310632$D6AED190-525C-4BDA-80D5-7E8AD2B18FDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a57b1949c8195528df73ef6b902062f9f728cb81","datavalue":{"value":"10.2168/LMCS-1(1:1)2005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310632$072E6DD4-8A0E-452B-BA68-1E3EAD48C66A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310632$80A2867A-3111-4F39-952D-2D507CFC78F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310632$212E4ABB-DC62-402F-93EF-B849D0D5CFC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310632$51677FA1-637F-4EC6-B032-8C281B39910F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310632$63397026-71FB-46EE-AC13-D7A7ED807CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310632$F1EABDE8-DBB4-47A6-B654-0CE4FBF4AD94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"338b56f617da5409eb6e19bf71427faf86b3fcf2","datavalue":{"value":"5200102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310632$3B5027FA-BD10-4602-9658-C2EF003BB8DB","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":"Q5310632$06DF5E3D-AF38-4A2C-915A-4493DBF9D574","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1f6a672b82dda9b05bc8b203bf4cbb141fcde2","datavalue":{"value":{"entity-type":"item","numeric-id":2863878,"id":"Q2863878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2176e08ded618110a1bf05a91181b515e841ee9","datavalue":{"value":{"amount":"+0.7541547417640686","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":"Q5310632$BADE23A6-DF66-4C7C-BEDC-57C6184AD407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7615b4da9da88c59890a3e1ba301266070b1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4818935,"id":"Q4818935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87b7ea11c6758f01fa0591c7df5d8174d9a392f","datavalue":{"value":{"amount":"+0.7486345767974854","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":"Q5310632$86128C5F-FA45-4468-894B-6E4D68DD2B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0edcaba40c26ba6d8ab33d9c18f107e4f8d976f2","datavalue":{"value":{"entity-type":"item","numeric-id":2909731,"id":"Q2909731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f9cf677f0b18b172a1f88823b24af3cc4e4829","datavalue":{"value":{"amount":"+0.7474313378334045","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":"Q5310632$2E597A76-2CF6-44AE-98EA-BA2B43EA9395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1007059c1d8aee5f8de6064d7b17258f8341dc","datavalue":{"value":{"entity-type":"item","numeric-id":4373413,"id":"Q4373413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96217c95eb5bd151754378c800ebab90a45a9ac","datavalue":{"value":{"amount":"+0.7459243535995483","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":"Q5310632$7CA1F093-3068-4BF3-9023-D188DC3256EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2f17332e3deba1a852aa63c2aa75c623ac577c","datavalue":{"value":{"amount":"+0.7434582114219666","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":"Q5310632$DB411443-6D4D-4A33-ABD7-4B5A059AABF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled transition systems as a Stone space","badges":[]}}}}}