{"entities":{"Q5930818":{"pageid":8107620,"ns":120,"title":"Item:Q5930818","lastrevid":47605651,"modified":"2026-01-02T05:04:30Z","type":"item","id":"Q5930818","labels":{"en":{"language":"en","value":"Logical and algorithmic formalisms for the problem of correct program design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1592104"}},"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":"Q5930818$0F24C61E-6E3D-4D0B-A6E2-A49CBE6C806E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4446fdc3db8cf289d7871bffbdaae8c237fc66d","datavalue":{"value":{"text":"Logical and algorithmic formalisms for the problem of correct program design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930818$2996DABE-F141-4AB1-9FB9-7D883549A54C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79cd7fe34b026f75fafe46846039cef650406a6c","datavalue":{"value":"0977.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930818$E010812B-9E78-40CF-A434-C11A3CD59B68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e84fb005a154bcd562e79420364357d5b43325fc","datavalue":{"value":{"entity-type":"item","numeric-id":174067,"id":"Q174067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930818$551C9166-00BE-42F0-8D23-08C3B24D013D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930818$FD1BD14C-B7B7-42E6-BEB4-F300CF8109E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a780d61a62af0991bc6e88cb070a7586b6b04fc3","datavalue":{"value":{"time":"+2001-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930818$15D7AEF0-6409-414E-938A-B3DD02E8453E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930818$6E8F0BA7-F684-4D50-96DB-3A13D0643E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930818$83212101-B48A-479C-BC70-B4B52CE5A7B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e445462c5571fe1d123f745e681cde0bd95a10d","datavalue":{"value":"1592104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930818$89371CF9-2D92-4B77-B4E2-C5B64F4E0633","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c5447e23f415321cee147228b327d60ba6e38a5","datavalue":{"value":"tower of functionals on fuzzy sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930818$65F91CBC-3952-4A35-81BA-22824E5BD841","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":"Q5930818$4B1F8D38-4B4C-4A23-ABB8-5A0F0D0DD6F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1375df40880817b74ea1f45ffc442d465c6f52e8","datavalue":{"value":{"entity-type":"item","numeric-id":4729320,"id":"Q4729320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414bd9d3291845943671b384830865e14e25d944","datavalue":{"value":{"amount":"+0.7383459210395813","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":"Q5930818$C00339C0-15C3-4B15-BD48-AB74BEE3A609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a81df9c5202084001d77cce397109382ac8070","datavalue":{"value":{"entity-type":"item","numeric-id":3336677,"id":"Q3336677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e655fd6ab63cf27fe658fa0b3c92d74585986aef","datavalue":{"value":{"amount":"+0.7207574248313904","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":"Q5930818$C4747172-EFF0-4B14-8FEC-A490DCCF7689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f3fb6d19151a04c669cb4dc4750fcee3445d4a","datavalue":{"value":{"entity-type":"item","numeric-id":3746866,"id":"Q3746866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9beb521a470afff43175d0188df0680becbbdf","datavalue":{"value":{"amount":"+0.7182232141494751","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":"Q5930818$29FE8894-B340-4C1D-96E5-28AEE2927850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5add08a5d004f50146f4311c1ba27d67f8ad1f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df8124f3c08c34369de53de2975ab9d85c85c93","datavalue":{"value":{"amount":"+0.7179458737373352","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":"Q5930818$1979FCF8-34C2-4566-9117-8A481061EB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c4d34f5281e7663a424c38d09befd774aa8123","datavalue":{"value":{"entity-type":"item","numeric-id":3221387,"id":"Q3221387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3412433fdd92e594107906defda5eb933b0b14","datavalue":{"value":{"amount":"+0.7097917795181274","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":"Q5930818$8EA5315E-670F-423F-A112-24312A187812","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930818"}}}}}