{"entities":{"Q4669651":{"pageid":6699232,"ns":120,"title":"Item:Q4669651","lastrevid":97972466,"modified":"2026-06-05T15:57:41Z","type":"item","id":"Q4669651","labels":{"en":{"language":"en","value":"Model checking linear logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2157092"}},"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":"Q4669651$06F3944B-E5FC-4BF1-BA27-6FD4646BCAC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bbaf96f5d4f2d9ad54a9d12bbb78c34e928e230","datavalue":{"value":{"text":"Model checking linear logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4669651$F3E38A6E-D235-48AE-985B-F8D8A6C350F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"260b5ee21393c72cec94d2e12352d1af1a81db3e","datavalue":{"value":"1088.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669651$D78359BF-8243-4409-8F9E-1A14825E7819","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a754fe09b4142bc79c4849ffe9298a1673e9d63b","datavalue":{"value":"10.1017/S1471068404002066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669651$1DE53880-C563-4A9C-B407-96F89D56B33D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"194d1d2ad0631ddca456f66e9fcdb737e653fd18","datavalue":{"value":{"entity-type":"item","numeric-id":470018,"id":"Q470018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669651$6D3F111C-F78F-4949-98FF-388A776F8511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669651$CA3066DC-9634-4AEF-8D08-12BFE7465091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29dc1236822f916648bcfce8c73940191d5a0074","datavalue":{"value":{"entity-type":"item","numeric-id":198014,"id":"Q198014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669651$CC511B43-A3D6-46F4-83B5-626CB330E012","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669651$5527E2DF-5258-46AD-8DF0-E293714F2EE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6393262d26b4b605f7bb5c90690073e7109b5486","datavalue":{"value":{"time":"+2005-04-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":"Q4669651$21ABB909-1AF0-4A88-8192-1BFA16F238AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669651$2EF57155-1262-4AFD-B4CA-E81F62EC6CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669651$E0605259-6810-42B0-AF3B-6BE8C63FB27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669651$E717D0C9-9DC9-46E6-BB27-54552BEE93E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"628e36fdd31f37b17104d7872bd207a91ebd7526","datavalue":{"value":"2157092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669651$C3746BF6-6822-45C1-9AF8-432DEB3C0B77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669651$3C37C2E9-1151-42E0-9B34-8B0107ADC592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"869d35a429fa9828b9c70f3813d35faf104927d0","datavalue":{"value":"bottom-up evaluation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669651$FFA2BEAD-7625-47A9-B0DF-26C01E62750B","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":"Q4669651$507D7333-F75D-4E72-8537-B3217799404C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2aa4391eba7b9085a9c05d82c5ab93649c0e51bf","datavalue":{"value":"https://doi.org/10.1017/s1471068404002066","type":"string"},"datatype":"url"},"type":"statement","id":"Q4669651$D2C0238F-0058-4E8E-B755-D38E78305C66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f618dc245115285829a065965cb48ef4d7cc0206","datavalue":{"value":"W1988742962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669651$4460FC22-D882-4C98-914B-DE03E0A90F38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eebb01224e3de5453abd49a5ab53cc78856f2d4","datavalue":{"value":{"entity-type":"item","numeric-id":2763695,"id":"Q2763695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3132772bdde1baa735301bf99b84fd485a17b81c","datavalue":{"value":{"amount":"+0.8176279067993164","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":"Q4669651$3C34F094-828F-40DA-8F3D-88D5369DE2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae1f84888c8b5e6cdf05092e7520f858fdda4de","datavalue":{"value":{"entity-type":"item","numeric-id":4452612,"id":"Q4452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460ca3a27fb9dcb4f2770a046b7daa8fd5a1b487","datavalue":{"value":{"amount":"+0.7633669972419739","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":"Q4669651$B81F1D97-09D7-46D0-8455-63F66CFC0505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f880533c119de7c2962c291abbf7a819980ff0a","datavalue":{"value":{"entity-type":"item","numeric-id":4537511,"id":"Q4537511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c962cb299e18dc45996f62ecc05350ecf1d75004","datavalue":{"value":{"amount":"+0.7486361265182495","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":"Q4669651$9A22D504-98C8-495A-BFB4-C6F2C6D000A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"013546671ca2e1681b206dc05d8320a2792a2fdb","datavalue":{"value":{"amount":"+0.7335839867591858","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":"Q4669651$768A1828-729B-4DCA-84D1-4020A83891E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f44b5f8d2f1233cab701786e406d4133121eabc","datavalue":{"value":{"entity-type":"item","numeric-id":2956719,"id":"Q2956719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29d0bfeb8e874ba57383382f0d0f9a60ac3cf39","datavalue":{"value":{"amount":"+0.732517659664154","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":"Q4669651$1B21DA59-DEE6-415E-ABE3-F4A4C3900D7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking linear logic specifications","badges":[]}}}}}