{"entities":{"Q3326819":{"pageid":3337527,"ns":120,"title":"Item:Q3326819","lastrevid":48710764,"modified":"2026-01-05T16:43:27Z","type":"item","id":"Q3326819","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3858385"}},"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":"Q3326819$EBBD5872-CE84-4CAE-A215-F641725D20EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"774d7dbf583ef44a0180a1d806316f24110bbf94","datavalue":{"value":"0539.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326819$7F016FCA-6BED-474E-A5AE-6FC60C89F763","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a6e36d9d587a56953e3909f37c87e2be24e3aeb","datavalue":{"value":{"entity-type":"item","numeric-id":583873,"id":"Q583873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3326819$25A5464B-E078-4912-A06A-C64BD33D4601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3326819$9DE6FAD6-D247-43DF-8304-58389BED0AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3326819$4B36422E-9C3D-432A-ABE9-5B7C3E0FD3B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3326819$1A036139-E4CE-47D5-9953-C643FCB991A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326819$A0A7F215-7D68-402B-9605-F11E3B70F6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326819$6B4A5DA6-6A0A-498C-B286-572DE85029A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326819$00C1C2F4-D505-4093-A802-723680DAAA4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0580b680d5547497f53055a4a0987fd0e75b180c","datavalue":{"value":"3858385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326819$0D7A530E-D2A9-440B-8C83-14ADC57E4AC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326819$6799F2C0-F6AD-4FB2-9F67-F70FD0BD754C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3376a6c80f9b30e04f1b81346ba2669e69c8cb4","datavalue":{"value":"Hoare axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326819$29DA2A0B-8553-47EB-88E4-A360BE64A32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70102b805c6c8bc082ba775fea39fc21647d25a1","datavalue":{"value":"Algol, procedures as parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326819$AF149847-8822-454D-97DB-20C0591F56AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e32eacbb0a09b31a820446363bc9bece42483505","datavalue":{"value":"relative completeness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326819$C9B07986-B0F4-41FA-9625-44D2EE949C90","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":"Q3326819$0B7C451D-3B14-4B60-A4FA-E573CBA72CBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c30041bb4732dae1227eaa90bc718832def195e","datavalue":{"value":{"entity-type":"item","numeric-id":583874,"id":"Q583874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777e3e220a33a76eadd19f07541acc49e0658811","datavalue":{"value":{"amount":"+0.9214367270469666","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":"Q3326819$98B589FF-8B3C-46C7-B92B-B29170D85DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed45a5c5e6b9b17e9db948866f42108a7a373b1","datavalue":{"value":{"entity-type":"item","numeric-id":3339259,"id":"Q3339259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc13b7f120d5cc2453ac54aecfb12a3996a6106","datavalue":{"value":{"amount":"+0.8407790660858154","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":"Q3326819$EAF04327-895E-4C8B-9227-DCE171A3C7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d16616ac73bced95402c103072e606825922616","datavalue":{"value":{"entity-type":"item","numeric-id":790607,"id":"Q790607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86ed60ba8f7357accdfdbb0b09431ac8b60d00b","datavalue":{"value":{"amount":"+0.8059385418891907","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":"Q3326819$FF46F5BD-AB43-4370-B78F-A3751E00067A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37eafe92d9fe7c52e74a8f96659f268614d1cae8","datavalue":{"value":{"amount":"+0.7775954008102417","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":"Q3326819$82934AA9-9A5B-4512-874B-7D43709236EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6442a71cb0832ac8f42b2bef8ca88e0a28fbbfee","datavalue":{"value":{"entity-type":"item","numeric-id":3334976,"id":"Q3334976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7efaf05309739238831a32a82693701baa8eefa1","datavalue":{"value":{"amount":"+0.7683783173561096","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":"Q3326819$319BB9C1-76C7-40EC-9FC7-6DDFB84FC342","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3326819","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3326819"}}}}}