{"entities":{"Q4948730":{"pageid":6978312,"ns":120,"title":"Item:Q4948730","lastrevid":46911948,"modified":"2025-12-25T20:27:22Z","type":"item","id":"Q4948730","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1436133"}},"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":"Q4948730$57161AC1-F1C7-4E1A-B300-81A3DA6868B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f693794fc738d0d290be0e0359d35bc44f48811","datavalue":{"value":"0951.68546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948730$5FBBBE0C-0C2D-48CA-93A0-4CC676DCB9C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948730$A06AAA99-293D-4573-8677-23839C897EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ce792b25e15f1bce917858cdd415f611cd1a183","datavalue":{"value":{"entity-type":"item","numeric-id":878108,"id":"Q878108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948730$D73FDB65-8FCA-4FD3-B2E4-B8AF5B130A6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4948730$2C241B37-75BD-4409-B1E4-3A056A75BFDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948730$95DD6549-3141-4FE3-9548-57A65DC94162","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd41518f1ed193787593d4ca30aecaaceebbb4b2","datavalue":{"value":"1436133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948730$FEC02D7F-1408-406D-96EC-5658B9FB9D4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e98a648411dad50bf33670c75b34c34585f26f","datavalue":{"value":"interactive formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948730$73777DDB-6B22-4CC7-9795-A3D3CC381277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948730$9D47FF4A-3B33-4B84-9B64-B6095931EA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb74d0fc6a70c564084490f9500fe82d2d0ee61","datavalue":{"value":"multiway decision graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948730$5F22FC21-9EB7-4EE7-A1BA-A42ABD871E75","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948730$F8F140ED-C583-4AE5-8DC2-65E9AB29039A","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":"Q4948730$7400572A-906C-498A-9E0A-5D52E60CA161","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abb80aae8d2531ad458e5665836a858b1ccba17","datavalue":{"value":{"entity-type":"item","numeric-id":4028158,"id":"Q4028158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90a65d61c0bd0b493350d5b2ca4da569e5014a4","datavalue":{"value":{"amount":"+0.7881910800933838","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":"Q4948730$7F97F9F4-E0EE-4A46-B93B-8F4B9EE848DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320e0547a7166f4c65aa0b6d27f89f2e62a27a87","datavalue":{"value":{"entity-type":"item","numeric-id":4787234,"id":"Q4787234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79d4e41cc07f4f104d03acda2ed261986a920df","datavalue":{"value":{"amount":"+0.7502426505088806","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":"Q4948730$1EDFCAF7-FFC5-47F0-B492-B421EE96B24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17e3e198a4ef89de9179a0ee5e1c419fc918da2","datavalue":{"value":{"entity-type":"item","numeric-id":4945213,"id":"Q4945213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8131e16d742d2792e57baf17f2ce4dfecbbc2568","datavalue":{"value":{"amount":"+0.7480674386024475","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":"Q4948730$DFFE5507-E6A5-468D-97D2-881467263A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa4b589224a32084bf323fd2c2de3b31d0edd9e","datavalue":{"value":{"entity-type":"item","numeric-id":5394196,"id":"Q5394196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a5bc9d68149ac5e70decacfc97a48ffa0c4c3b","datavalue":{"value":{"amount":"+0.7303792834281921","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":"Q4948730$CF782D4E-F12B-4DA3-A01A-E38FC0F457FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4948730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4948730"}}}}}