{"entities":{"Q4702940":{"pageid":6732517,"ns":120,"title":"Item:Q4702940","lastrevid":46871343,"modified":"2025-12-25T18:27:32Z","type":"item","id":"Q4702940","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1377354"}},"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":"Q4702940$F6EF75DF-CF8C-4D1F-9665-F815B9A64D95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5c43042b657316053d88655ba04cfce229683a9","datavalue":{"value":"0933.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4702940$D525570D-5E32-48AF-94EE-02D2A48746E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c35fb8a8597468e70992cceb470233a004c261","datavalue":{"value":{"time":"+1999-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4702940$80CE8AF0-E2B4-4654-8747-0C6802F77E5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4702940$1857EB9C-A14A-470B-8B76-D388B0F65E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4702940$129F3D44-99D8-4061-9685-F55554462690","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5efdf4e901ef4ca56f7c71da0ead766159a20c0b","datavalue":{"value":"1377354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4702940$41D32464-A1A3-4924-999A-284CC5BF2C49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"012944997e61e8087abb3b7020436596d3609e1c","datavalue":{"value":"large subset of programming language C","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702940$FD0FD7EA-A759-4FD3-8F9C-9B7D16BD15DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78408fbc497fcbe8bb75f63e78c8cb8bd8ba73","datavalue":{"value":"automatic program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702940$B4D9E7C1-8FB0-4C84-BD9B-6BFFBA2687C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92fbeb0285f6249b9876e391994bd02f181898a2","datavalue":{"value":"three-valued calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702940$252C8E05-81C8-42BD-91BA-B8BB97B0713F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c34eb79746680908b84288990ff19c707ac9a976","datavalue":{"value":"software implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702940$85BE46D1-7810-4E99-98F5-A8568F42D047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ad873f19b9b7fceec8ae0b757baea47c091408","datavalue":{"value":"proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702940$B29B35FE-89FB-4AB5-9F9B-7056D7451A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702940$B3C1EC6F-A555-4698-9074-98C2BD7F2BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d628f044f8610d7e4a26f7bf01261f0d9f66ca","datavalue":{"value":"absence of dynamic errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4702940$BAA5AC7B-AE66-496C-913B-E268A5D7A419","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":"Q4702940$4C72BE79-63A3-4D72-9C31-5FD8CC7B9EAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acf1f5bc3f6fef01cce760bf61d7da9187ba065d","datavalue":{"value":{"entity-type":"item","numeric-id":2963876,"id":"Q2963876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883b940e389f5f1fce59fd098dac499b33357af5","datavalue":{"value":{"amount":"+0.7816540002822876","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":"Q4702940$12B75DD1-EE0A-4E05-8F83-0F699B23B9E3","rank":"normal"},{"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":"41ec5db1690c935a87a514c1acf8bc32c906126a","datavalue":{"value":{"amount":"+0.7459657192230225","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":"Q4702940$C115D135-0703-4ACB-B00D-12EB4926375D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15b367ae67621962a2dd23d164a19c1765a25bb","datavalue":{"value":{"entity-type":"item","numeric-id":4023471,"id":"Q4023471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79cab5a3881bfe32ba7bee28981301f6e9ad5cfe","datavalue":{"value":{"amount":"+0.7352868318557739","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":"Q4702940$E3D1B50A-5EAA-4010-8E70-724935683696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2170c4b2d9ca1f4390fc13c08e49797e21a01bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2766776,"id":"Q2766776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573eca39c9b4f778f086832d2c1f0ee4f0f8da03","datavalue":{"value":{"amount":"+0.7333828210830688","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":"Q4702940$F62F74D3-2EFE-4A40-943B-84052E0E6B6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4702940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4702940"}}}}}