{"entities":{"Q5716887":{"pageid":7746441,"ns":120,"title":"Item:Q5716887","lastrevid":48627964,"modified":"2026-01-05T10:44:32Z","type":"item","id":"Q5716887","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245855"}},"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":"Q5716887$13DFC966-1CF9-4E6C-924D-E6C43AB06A55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09931771c06d46aeabc60a38e18ef709b76800bb","datavalue":{"value":{"text":"FM 2005: Formal Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5716887$6665606B-6754-49E0-ABC9-C3ED56C7BEFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfa74de83680dfd960419053ad5b845fe9932e08","datavalue":{"value":"1120.68339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716887$A7B6CACE-52D1-44FE-87FB-980B4DD5F7CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8b66dc6662cd00e6e9af03a94e724b8040effe5","datavalue":{"value":{"entity-type":"item","numeric-id":382640,"id":"Q382640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716887$A6800CC0-606E-4B81-9209-14221688D8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63b65f806ae62e66bb9ee5d42df731ee9e52a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1126265,"id":"Q1126265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716887$BF9A0443-C13A-4E8E-8C97-316B8CEA1105","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":"Q5716887$0AC00CAF-9E3B-487C-BA00-D4B97EAD9E9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5716887$13D11FB9-180E-49F5-9EEE-8738D38B858A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716887$740B3579-F3C3-47A1-A675-1B6131D79DB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5aafe71bd736b9e888fd61517b128aa172243555","datavalue":{"value":"2245855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716887$2647DF6F-49C5-419C-A17D-CD87A8DC3544","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c0e2ad8fa5b2a3fdd9e08f696f42ea375c7b15","datavalue":{"value":"Software Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716887$17BD5AD9-327E-4628-87B5-0FD363EED023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e3acf34d81c014d556c584dbd379ed5f43888d","datavalue":{"value":"State Space Search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716887$976D3356-0CD3-4CE8-B6E0-92066BF874D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f3a370cb8d34cd63ad041616a0958212bdef792","datavalue":{"value":"Unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716887$A87F3987-1957-4087-B212-E3DAB9AAD937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce87b7bf901e1a5921b51606338078a992a07a45","datavalue":{"value":"EFSM","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716887$0306596C-EEE9-4A26-ABF9-342F7A68E1FA","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":"Q5716887$E9C9F560-2B3B-47CA-A740-FF3A19B62FE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3233b52d4c27ffc27fd1bfa49d7d5f3d07054b6d","datavalue":{"value":"https://doi.org/10.1007/b27882","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716887$4D3C1FE5-7B4A-4E3D-9E4F-4EB0F3439877","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716887$41675A3C-1C42-4654-A0CD-953C16BBF966","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716887$51E1EED3-CB72-4D34-9E67-63C21144D127","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66fcb8f17e78da1ac15821817d47e995ca120f0","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615bae249ca4f6d9a641478cd8d81fb8321d9a21","datavalue":{"value":{"amount":"+0.7088965177536011","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":"Q5716887$F2C72B8D-E990-474E-A5CF-5CA247CF1636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6554896f382b13bbeb8ac1ff4bdc1053da0fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":4270050,"id":"Q4270050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6685ce9f7c2182daccb8e85a231ee85abc6f3f72","datavalue":{"value":{"amount":"+0.7008299827575684","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":"Q5716887$EDCE3F20-A3E9-4B92-9E0C-343BDC9A7073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f741e0b62dc9bfcaedbe53efe87e425de891a1","datavalue":{"value":{"entity-type":"item","numeric-id":4518898,"id":"Q4518898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6685ce9f7c2182daccb8e85a231ee85abc6f3f72","datavalue":{"value":{"amount":"+0.7008299827575684","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":"Q5716887$03D8EB60-1A48-456B-A473-6E23AD481392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887a076b6d4f896f1fe32c094367ffbbeaec0d56","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2947a9d16e39b5c834aed8a95a96e50a088985","datavalue":{"value":{"amount":"+0.6929988861083984","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":"Q5716887$8264479B-76B4-4162-94E4-9DB78977E0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36962dcd52cd14226476765baf68339bdafa3751","datavalue":{"value":{"entity-type":"item","numeric-id":3434681,"id":"Q3434681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"352107c9bb3242246e7e46719080ed2f29c5025f","datavalue":{"value":{"amount":"+0.6909968256950378","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":"Q5716887$3B743175-1FDB-4450-B784-60B115ADAAA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716887"}}}}}