{"entities":{"Q4885878":{"pageid":6915457,"ns":120,"title":"Item:Q4885878","lastrevid":46462038,"modified":"2025-12-24T20:16:15Z","type":"item","id":"Q4885878","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 910720"}},"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":"Q4885878$B29891CF-352C-400C-9401-2CC3B9551E1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7400b75e365d63eb7311f954ac3ea14c8c2faff4","datavalue":{"value":"0923.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885878$CB569A30-0696-4438-B983-680E12BA51A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d2194a72287987c2fdd62e01e933a3ba2db5d50","datavalue":{"value":{"entity-type":"item","numeric-id":431789,"id":"Q431789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4885878$768A5469-4F8B-4115-8168-529629570AE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb9dde3bc98faab6bfc93ee0e075fd8b26c6e3af","datavalue":{"value":{"time":"+1996-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4885878$A70D9208-776F-451D-91F4-4EEE93A952A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885878$1935865F-3A2F-42CA-BAB2-2D7046792E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885878$59AA0A20-18E4-46B4-A49E-9760814D666F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9bae5601b274e3ed8232e10a61e2400684041de","datavalue":{"value":"910720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885878$4D85BCC1-2841-4976-8A67-C657ED340E2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885878$5FB544E5-BBD2-4ECE-A892-D6C860A94E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2caee3670e666fd6264cc65a2e1cc3b74e14c793","datavalue":{"value":"assertional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885878$D7B7E77A-5CDE-4A0E-8C2E-82976CD202CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2e2fb8214de66021b9c6b4009fcc5dc7649e4a","datavalue":{"value":"proof outline logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885878$E5511FBE-02D1-4275-827A-417C46012520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc1d0dad579b04a1a4904ffc09918f13edaf1c2f","datavalue":{"value":"safety properties of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885878$119F2628-E3CE-4A02-A183-938106CD0DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885878$EF09453B-F41E-4D01-AEDD-04A090CCFD46","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":"Q4885878$9CB96521-822B-4C79-BE66-C79A224BCAEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fefbe980735968dc16b8427ed4d49e2d00965ba","datavalue":{"value":{"amount":"+0.7939322590827942","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":"Q4885878$61CE666F-439F-4973-9340-6ED9C8FA9D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2394bbb3853ecf63c20bcb8236988818ed2daabe","datavalue":{"value":{"entity-type":"item","numeric-id":2571207,"id":"Q2571207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b317e7395b7f3f3ed9f82c591306208b143c977c","datavalue":{"value":{"amount":"+0.7828740477561951","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":"Q4885878$BC72A8D6-AFDB-44FE-874E-0C1550DB28CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3709436caebdb389c9afab90636fadf4b733f94","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e49f9d2a1062daf1e52d9485f86c9087f17507","datavalue":{"value":{"amount":"+0.7677534222602844","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":"Q4885878$0A7369C7-FFC0-4F7D-9BFE-7F05B9652899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec691ca6b94f8362541f7a20d08563e9b7b24d68","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c131e8aadc4cc86e4c7a917e4af42e7e13e0afe9","datavalue":{"value":{"amount":"+0.7646036744117737","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":"Q4885878$53D75EDB-EE19-4EFE-BE43-D1C992BC2331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ff84f8d0f4db8e5d356753cda328996449a307","datavalue":{"value":{"entity-type":"item","numeric-id":796292,"id":"Q796292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db36daf77a7d43e0e68759948f08f700d2cd5c05","datavalue":{"value":{"amount":"+0.7631650567054749","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":"Q4885878$833BAEB4-9FFC-4CF4-9958-A88E354AF3D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4885878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4885878"}}}}}