{"entities":{"Q5394556":{"pageid":7424130,"ns":120,"title":"Item:Q5394556","lastrevid":49959934,"modified":"2026-01-12T07:39:57Z","type":"item","id":"Q5394556","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069661"}},"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":"Q5394556$03BC4291-3BC0-4B09-95B4-506C1B6786FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb5a511cc0bafa31a131c11086b49e73b1d67546","datavalue":{"value":{"text":"Model Checking Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5394556$16757A2D-B2C9-483A-86AC-968751BD4942","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b94475dd9b316ccea34649a67d71224514e388b","datavalue":{"value":"1151.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394556$7A6B1173-D6E8-4F0E-8FF0-B0F2444B54BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a18c3e5ad1c3afb1c8ea0b9f0b4a638bc4fc068","datavalue":{"value":"10.1007/11537328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394556$0903370B-C3D3-4EFC-97AC-C3ED947849CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9d0fce2bb769feecf11392b4edecd1923f8fa1c","datavalue":{"value":{"entity-type":"item","numeric-id":518408,"id":"Q518408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394556$18DC699B-DD3E-4649-A7CD-FE46AA507FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"014c09e7b90e04a7c11fd7dd1957177e28b3dbc8","datavalue":{"value":{"entity-type":"item","numeric-id":539427,"id":"Q539427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394556$C03A2E10-A5A6-40D4-8AF0-F7522752E8D3","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":"Q5394556$88DB0432-65A3-4191-B350-2E9B49ADDC72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"383fa8cf3a55c9f8c536ed3293ab02f870426e40","datavalue":{"value":{"time":"+2006-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5394556$D82A3584-1DF2-4433-8F0E-25D8B2E15739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394556$F4E8B425-9687-4EA9-BF84-D83B08FD6356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394556$509C4A90-145F-4208-8C6E-D17F2F49F766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394556$418C58B5-B0B2-4120-8BCF-8439B0DEB77E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"833c168eb3d4db699384ad04f1784e4c67069024","datavalue":{"value":"5069661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394556$1CA09469-58D7-4682-89A1-0760F1440A04","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394556$220963AC-13F9-432A-ACF5-7DEECC748197","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":"Q5394556$87CD5FE7-58E8-44BD-9E2D-9881CB1E815A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cf16d6b085cd6581444f4dd3d6c6969a9f4930b","datavalue":{"value":"https://doi.org/10.1007/11537328","type":"string"},"datatype":"url"},"type":"statement","id":"Q5394556$3932A6C5-E92A-487C-AE4E-A1CC217CB3DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82eb5b6d0c3cb37e9715fa5e7ac7a928c6c952dd","datavalue":{"value":"W2492029314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394556$0BB1BA17-67B5-4721-9A49-3AF1163DD017","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2b68a1f81bfc98fa2d5e05b495a90d8056f719","datavalue":{"value":{"entity-type":"item","numeric-id":5899046,"id":"Q5899046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327f6afcf8fde002b43fd7f0efa241e68a25c223","datavalue":{"value":{"amount":"+0.8100845813751221","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":"Q5394556$86C6D239-AFFA-4BCC-A292-7119CB3B7BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5538556a68979d3570821fe28d33209333601338","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db75ac4142ad7ecb23fefec27c070ed3893b54b4","datavalue":{"value":{"amount":"+0.7288492321968079","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":"Q5394556$6A0D2993-07E1-4091-928F-67F74ECBEDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3172bb0227eadc6dca911d4f117dc5eb67e259cb","datavalue":{"value":{"entity-type":"item","numeric-id":1600652,"id":"Q1600652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d3ac77a92cf99e10a64eeeebd122156d52ae595","datavalue":{"value":{"amount":"+0.7266087532043457","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":"Q5394556$36F8BF3C-5A75-42C9-A79F-59284A9C6E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f710f1cb19bc2f692bd1c525fa93a6dbf7bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c197434923dbe7c80f9d5a1d5f59375399fd5b52","datavalue":{"value":{"amount":"+0.7266084551811218","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":"Q5394556$E2C28423-EC83-49A5-8068-24FA277B5C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b55563d387a0ab7365d7350d6089c495ab5b2d","datavalue":{"value":{"entity-type":"item","numeric-id":4791271,"id":"Q4791271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebde8950c8be0293e53ba605ff916364cc152202","datavalue":{"value":{"amount":"+0.7163269519805908","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":"Q5394556$FF664FD8-9D57-4F88-A9DB-1AA650338F9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394556","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394556"}}}}}