{"entities":{"Q1386947":{"pageid":1397687,"ns":120,"title":"Item:Q1386947","lastrevid":46972314,"modified":"2025-12-25T23:27:50Z","type":"item","id":"Q1386947","labels":{"en":{"language":"en","value":"Problem-oriented knowledge bases and their application in the program verification system SPEKTR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1157987"}},"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":"Q1386947$8BEDB6A3-6482-454D-AE32-399569EA6E53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"132db3dcf98fd975c9d4718eacbb2756e251b5ee","datavalue":{"value":{"text":"Problem-oriented knowledge bases and their application in the program verification system SPEKTR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386947$D19654B2-5E87-4395-BF4E-F4D5F5C28D21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aee6e85ad28408dbb4ba7026632bfed410fe93ff","datavalue":{"value":"0897.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386947$2C54B34C-401A-4BE1-95EC-A16E04EB0904","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386947$C8D03FE1-8A18-42FC-8092-09D1143680ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"051462c66a3c1f7616f820e39aae5bde172c6e58","datavalue":{"value":{"entity-type":"item","numeric-id":801658,"id":"Q801658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386947$02C7F6B9-064A-46DA-A0A5-6BA2C9717BEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cf25ce818b85bb8b10c5d233e02ea9e0a830581b","datavalue":{"value":{"entity-type":"item","numeric-id":295575,"id":"Q295575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386947$3D90CBB8-861D-4F0C-871F-208A12B788DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fda7d68dde2ce269daa4d7eb5af1d4726eca7412","datavalue":{"value":{"time":"+1998-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1386947$787CC3E2-098A-41DD-BC26-018C08FF53CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386947$4814812D-5235-415A-AA9A-497AAA81708A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386947$E211EAC0-579F-4B31-B75D-E47338840B86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfc30e6862e5d3b7f1ea8b32bb725b09708d60f7","datavalue":{"value":"1157987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386947$FB49156B-0CB4-4996-B2EE-5BB262F5E131","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0310612276ba38f53645cae15a9411efb38d504","datavalue":{"value":"knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386947$E0F88332-0485-4585-82CD-AD2CE2213B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f25518240b6187f5f53bb416f3457fef4811b17","datavalue":{"value":"verification system SPEKTR","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386947$9E968858-608D-434E-B535-86B8E36E902A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef9f1139a05c5574f1908b7c964b2a3e6cc1fbc9","datavalue":{"value":{"entity-type":"item","numeric-id":13857,"id":"Q13857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386947$8FFC7633-D94D-43C5-9099-43F70067CAD8","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":"Q1386947$1D6894AE-3ED6-40B9-8345-4221CE39A735","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbebcf7c98b83f2fb9dc82d5227ea2933dc037c","datavalue":{"value":{"entity-type":"item","numeric-id":3802589,"id":"Q3802589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5c9981cbc4cff25873df8f7d70cc817944927d","datavalue":{"value":{"amount":"+0.7989470362663269","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":"Q1386947$1935D979-1580-45B6-B426-1BC235BC4A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6e10bfb921ac2933c92dbf750ae0789aa59bf5","datavalue":{"value":{"entity-type":"item","numeric-id":733569,"id":"Q733569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2be17325d34406c77529e51b70c36f373fe84b1","datavalue":{"value":{"amount":"+0.7559941411018372","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":"Q1386947$F09DE3B0-85A6-4F60-9091-A45EC5BFF081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfa9698d0a5a745c407ae255f81bb7deaa80bae","datavalue":{"value":{"entity-type":"item","numeric-id":1311971,"id":"Q1311971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c221776c54ea7e7e1d771c69ec61bd2224681b","datavalue":{"value":{"amount":"+0.7530174255371094","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":"Q1386947$C9B7317A-30E5-4D81-83C4-3EB9D80A0BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3c572c593efd2a88f8d89d9c807808c5d9b86b","datavalue":{"value":{"entity-type":"item","numeric-id":5137901,"id":"Q5137901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38e96cf5af901092516482809f2f6397e00897e","datavalue":{"value":{"amount":"+0.7328352332115173","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":"Q1386947$E3A2DB0F-58CD-405A-8723-612D8330ED43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1386947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1386947"}}}}}