{"entities":{"Q4951403":{"pageid":6980985,"ns":120,"title":"Item:Q4951403","lastrevid":46912167,"modified":"2025-12-25T20:27:32Z","type":"item","id":"Q4951403","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1439078"}},"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":"Q4951403$7E3F500E-CDAE-46C2-A84F-8F6139CA0182","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aff2a16dfa6a39a93be7c7f80a17a9f5ec1a7da","datavalue":{"value":"0937.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4951403$322739E1-36C5-4818-BCAF-00FF874C5C5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc197e2a386f082e9cad3ba00e1298812ad2a529","datavalue":{"value":{"entity-type":"item","numeric-id":174077,"id":"Q174077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4951403$6F83BED3-F76E-4227-8FFC-3BA850E4E274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb2f1d82f0bd0dc3928db280167e2330dbc2eb88","datavalue":{"value":{"entity-type":"item","numeric-id":174078,"id":"Q174078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4951403$A054E297-2F66-4A00-BCF3-326A7824057B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc2df620fd6a8df372731edb4d2b9ffdc4ef3885","datavalue":{"value":{"time":"+2000-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4951403$901C537E-1FF5-47CA-8C6F-46A52B9723C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4951403$FB5E9F96-478B-494D-ADAE-C495E59EC575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4951403$A46BBD48-E343-46A0-B69D-22F398884750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4951403$1E800C12-C27F-4D4B-8A9E-C910CF7153C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4951403$752D75CD-1E63-45DD-9FAE-C43534E3EAC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53c9d61cea7668740f93cfa33a1f8c732cdd9965","datavalue":{"value":"1439078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4951403$5AF5236C-13C6-4965-A542-F1C7D7011FBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5206a2359ec2a279c7084b042456f0e836656036","datavalue":{"value":"verification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4951403$BD3DE34F-EC63-4911-8D44-EEF0CC65EEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4951403$7326EC69-0B1B-4C53-B1FA-3D020C7F5104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4951403$41FB77A2-65BD-420E-B3DB-2268C2A4CABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4951403$31F15357-43EE-42EB-A51B-6A7E579688BB","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":"Q4951403$06AD3892-9175-4305-9C48-9B22B7B7D994","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0398bb42b3568d2f454a8583b5ba66446c6b8b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4934360,"id":"Q4934360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b234994e80ddd80f5337adedd4f0f9a35dd4eeda","datavalue":{"value":{"amount":"+0.857144832611084","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":"Q4951403$9CDF4AE8-2469-4B95-8835-4850322AA5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9582257a9ffb57fb2a43428f4ed82c2d4f7ed904","datavalue":{"value":{"amount":"+0.8463112711906433","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":"Q4951403$8D6CB95E-EAE9-4B45-8428-891FBF4B94EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2195422467a46812b1432080a5dc902506f0710b","datavalue":{"value":{"amount":"+0.8390462398529053","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":"Q4951403$EEBBF1CE-23EE-4B24-B398-654F41552E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65fa0a8bf27d4e3941134ee791e69768320ad13","datavalue":{"value":{"amount":"+0.8387397527694702","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":"Q4951403$3E4D1595-9F55-43BD-B2E8-576CE1D8235E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4951403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4951403"}}}}}