{"entities":{"Q5899036":{"pageid":8002385,"ns":120,"title":"Item:Q5899036","lastrevid":50083666,"modified":"2026-01-12T21:54:41Z","type":"item","id":"Q5899036","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148015"}},"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":"Q5899036$CC52D541-B244-44E1-8E0F-B8218EC2A8C5","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":"Q5899036$F45E24AF-1642-43C7-9B5E-E36A5900BB62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cef98b49b5577939803694a05994c328638d8c2","datavalue":{"value":"1178.68343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899036$410C00A3-65A6-4AA9-800A-06D8EA2E1B28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f193138ba806607dab9d216d0f29d57e98def4bd","datavalue":{"value":"10.1007/11691617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899036$6114E3B1-636D-4298-8C09-A027D0D9ACB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b9440ba84420a1b52bcdc0cdda948608033938f","datavalue":{"value":{"entity-type":"item","numeric-id":2453537,"id":"Q2453537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899036$31C5DE46-7F57-4795-AA35-22E163543BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a5c78dabd7f98a4b2ab7b669bf2f2efb708a364","datavalue":{"value":{"entity-type":"item","numeric-id":1708657,"id":"Q1708657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899036$F038CBC8-A58E-4EEB-84CC-E0E96A78DA8E","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":"Q5899036$45586775-A6E2-4029-BEEF-35881AC29375","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5899036$F0908D9C-E55F-4608-87B4-77CA860005D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899036$DFE45958-EEA4-466D-A46C-691DA9F43C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899036$6EFD864E-8A3C-4962-9140-555E164DB78A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a6c1066171d3e4f81ca7f8c379d86af69853914","datavalue":{"value":"5148015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899036$1B2F7359-CD45-417B-8435-DC17740F00A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899036$95C75428-29F8-4111-980C-1C0108E76336","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":"Q5899036$49F345A6-C2E9-4E87-B2A5-89860A267E39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88439d7bf09651b645ded7643cbfdccd966f3b90","datavalue":{"value":"https://doi.org/10.1007/11691617","type":"string"},"datatype":"url"},"type":"statement","id":"Q5899036$77AA10A5-400A-4AE4-B288-06A9CD2DC895","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6324d293054293f481c946a3476dbb94464590ac","datavalue":{"value":"W2480617525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899036$CB705695-9203-4D2F-8092-17EA55E26AB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cd48c5db523b348ca47e4196af5e9c9b251df88","datavalue":{"value":{"entity-type":"item","numeric-id":5897061,"id":"Q5897061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4a42df31ddbc15a02757575381ae0d00a13d09","datavalue":{"value":{"amount":"+0.8289613723754883","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":"Q5899036$B4A6A367-ED3A-4245-8818-774B437F4BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa6e05bdbaddde00cfd98b5e2e7a17813330fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2917302,"id":"Q2917302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c018afa17425749ad289a6af629bc285dadb6920","datavalue":{"value":{"amount":"+0.8130700588226318","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":"Q5899036$A16D145A-7032-4B50-97A9-C112B7D6237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f5f09a1984d0a03a303ec39095aadc5588f747","datavalue":{"value":{"entity-type":"item","numeric-id":5703759,"id":"Q5703759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f75079848f4bc576bf221d4ecc4de0d896bf6a","datavalue":{"value":{"amount":"+0.8045036196708679","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":"Q5899036$6A78ED1C-0A73-40CD-B39A-B8B3FC937F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb401a14da2b0558e15a9d55c1b1c28abb5808f2","datavalue":{"value":{"entity-type":"item","numeric-id":4422087,"id":"Q4422087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2181abc4666069e134d7fce40ce1122ec99d7281","datavalue":{"value":{"amount":"+0.7980271577835083","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":"Q5899036$C73D18C3-CCBE-41FA-B813-F21251EBC7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e60435065cc92a9e884f8ac81f13e98fcca58c8","datavalue":{"value":{"entity-type":"item","numeric-id":2827458,"id":"Q2827458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d5e2e72f22bd45985ccccb8e4007c34633498ec","datavalue":{"value":{"amount":"+0.7933648824691772","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":"Q5899036$FC38F589-D3EB-4E02-8D8D-6CF9C3292221","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899036"}}}}}