{"entities":{"Q4499243":{"pageid":6528836,"ns":120,"title":"Item:Q4499243","lastrevid":47011668,"modified":"2025-12-26T01:21:19Z","type":"item","id":"Q4499243","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1497823"}},"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":"Q4499243$5F3E6014-EE2E-42DC-A122-2C8D4D9D8B74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cefc41d4f861fe1aa0f102deabd59db68f2642be","datavalue":{"value":"0966.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499243$4580D728-1363-4D9B-A3B1-F3DD35C537D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aadd89b6cc4356f39201146726ac65253316123","datavalue":{"value":{"entity-type":"item","numeric-id":264546,"id":"Q264546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499243$36746087-E994-4382-9FF1-3A5D16FF12CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71df50d4123f0ea79d467671b14c60866ef73d12","datavalue":{"value":{"entity-type":"item","numeric-id":1595251,"id":"Q1595251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499243$9966DB57-0717-46CE-B442-31D33DEA12EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04735811f5f70f629ba4342ebdac125a1959371","datavalue":{"value":{"entity-type":"item","numeric-id":1274453,"id":"Q1274453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499243$C2C223A3-5402-4148-B0ED-6C4073EA4BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499243$570C51D9-50D7-456E-AFB1-38BC78099201","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1319b5388b96cf042211c4eb6eb3b2b400d70e7f","datavalue":{"value":{"time":"+2001-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4499243$99183EE6-82D3-4CC7-8440-BFB75B308427","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499243$30C15AA1-7491-4FF9-9640-968E86E2D6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499243$AF9687F2-C5CA-4969-9826-110B2D52469A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ff14a1496e715cbfb4efdf5ebd211632af0f275","datavalue":{"value":"1497823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499243$89DC3163-2159-4DE8-81D4-B7C1991B3C81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71621b155d01063f6f9c7c1fa21ae9551d368b66","datavalue":{"value":"verification of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499243$1C7A0C80-C2F5-46C3-96F6-FEB5D614A645","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":"Q4499243$829EC3EE-4CD5-4C41-B846-407E391AE314","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0beb13f2a57e18bd945bb12f766a141166fef","datavalue":{"value":{"entity-type":"item","numeric-id":1887175,"id":"Q1887175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd1dead90757dd8b2a788b4f82b94ca2a2a4bde","datavalue":{"value":{"amount":"+0.9767584204673768","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":"Q4499243$2BBCCC62-F8AD-4330-A3F1-8BF33D0AB011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8266f2c8ef040bdae8a8d17dbab7410a4f0f3244","datavalue":{"value":{"entity-type":"item","numeric-id":4923368,"id":"Q4923368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26481308e8b54ccde84992bd375ba6906fb7f8ea","datavalue":{"value":{"amount":"+0.8987370729446411","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":"Q4499243$51B6ED2E-9D26-4C5F-B52A-4E70FFC8490A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de501cee94d2b82843f4cd23fa48630f29c4675c","datavalue":{"value":{"entity-type":"item","numeric-id":4217939,"id":"Q4217939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18cb8cb50cc92f089d20b7172d04cf7379f587b","datavalue":{"value":{"amount":"+0.8529776930809021","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":"Q4499243$D331E676-CDE3-426B-8771-F445DA626FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6ede155a8bbec3b467c7863a1de4a5e3a7daed","datavalue":{"value":{"amount":"+0.8482359647750854","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":"Q4499243$585F925C-4DD5-439A-9B27-15ECE867475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2774a3ca196ccddeb23f5a1832890dd92b4783","datavalue":{"value":{"entity-type":"item","numeric-id":4424850,"id":"Q4424850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"900bfaa66f97b28b9fb4a3f5d36b8fcc8007031c","datavalue":{"value":{"amount":"+0.836566150188446","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":"Q4499243$1BC281A6-00AB-45FC-87C0-987BBCA4C3FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4499243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4499243"}}}}}