{"entities":{"Q4255564":{"pageid":6285165,"ns":120,"title":"Item:Q4255564","lastrevid":46688580,"modified":"2025-12-25T09:57:43Z","type":"item","id":"Q4255564","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1324662"}},"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":"Q4255564$887AD485-2C4F-4B95-BD90-27E51F7C04BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75de16a3348a3a0da5a971305eaa6954b30f6f01","datavalue":{"value":"0920.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255564$76A0CC1E-DC89-4324-9E68-D22A2DF87396","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c19ed09ce7404d05b1169ee7811217a829c68b","datavalue":{"value":{"entity-type":"item","numeric-id":4255563,"id":"Q4255563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255564$B54FDE96-ED7F-47B6-AC36-DC0AA617BAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255564$E4541B48-8C60-4BC4-9AB0-A2D841942208","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8644b3f3170c33297fd848370044d7764102e51","datavalue":{"value":{"time":"+1999-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4255564$F1FEAA95-B7F8-4FDF-B2CD-05B779B45972","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"061af66f6e3ec9aba78f473a47d6f9d5be7d0429","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=23&iss=2#23.2.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q4255564$0B7806B9-EF5C-4B3D-8105-357302B4A65F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255564$FABF46A4-7747-42FF-968C-FAD2F88C2A99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f115f527d2e8ca8e6b91bc584a2d38445ca7564","datavalue":{"value":"1324662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255564$5877E3BA-63A1-4E3C-AED7-4992EE92B4AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255564$200136B4-6D90-4923-9298-E1E807FD992F","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":"Q4255564$9E71F19F-0CB1-4D67-9490-CE65FE85AD70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255564$35C87A14-C861-4D04-AA93-F5D9E5DBCC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255564$D4533C90-7561-4A24-989A-E1A3B298450A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b9929da7c2777f750c0897bc4b8499e470e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72a1e634db5709db5a2bd225c0e38d82f827d4f","datavalue":{"value":{"amount":"+0.7847591638565063","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":"Q4255564$CC7E3D4E-2F23-4336-935F-E111BDBAFC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d5930ab9e1502c3a1fe1958954ca5b38436146","datavalue":{"value":{"amount":"+0.7692932486534119","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":"Q4255564$3018A0EF-B374-4ABC-8D97-EA4AE3E87713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec8bf245f3c95cf9e57716cb20c149b50876fda","datavalue":{"value":{"amount":"+0.7636371850967407","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":"Q4255564$2A03BB1C-420A-472E-9D7A-84BD089D00EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4255564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4255564"}}}}}