{"entities":{"Q3334976":{"pageid":3345684,"ns":120,"title":"Item:Q3334976","lastrevid":48733375,"modified":"2026-01-05T18:00:49Z","type":"item","id":"Q3334976","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3868598"}},"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":"Q3334976$38A546E1-6F92-47C8-A398-C59D21858A60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dafec1e88f03a09034e66082c67a42d2bf9e05e8","datavalue":{"value":"0545.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334976$FE81B15E-ECE7-4942-9BEF-F8F9AECAC5E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c5b6398977f19d3fbbadc0234cae6d8c44a315b","datavalue":{"value":{"entity-type":"item","numeric-id":1172383,"id":"Q1172383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3334976$6B1B335F-8D04-4A6E-9C04-FF8CB9E431FC","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":"Q3334976$4DCAED45-7154-473A-858C-F2749F0109C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334976$B08FBB72-3600-4F6B-A595-AC4BA10C0289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334976$CB7C13E2-12AD-45D8-B5AF-EEAC0BD86BF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"255c8f8b0a059c636880328f1b93fc1fd843b1b0","datavalue":{"value":"3868598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334976$757B24D7-DD66-44AB-B3AC-13A43E0023D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d69eb2971e94b259de3145b3ba34b96ff9c2019","datavalue":{"value":"Hoare calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334976$C144728E-C963-4E4F-B929-52CD9235C017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b578d4ef96472c734b7eadd2641baf427e74cf79","datavalue":{"value":"sublanguages of an Algol-like language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334976$5436130C-20C3-425E-B5B7-3B7D2385E8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ab08f0501faa0a61d7a7aba8788d7b14bf4e251","datavalue":{"value":"programs with non-regular execution trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334976$CC64C395-035E-4B39-9235-25C629B42069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334976$28D36F54-1C4E-49BB-A7BE-69DA0DA941AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceaad64d05e9333c5776325d6868b0971a7a925b","datavalue":{"value":"modified assertion language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334976$59A7696E-7D86-4DD8-858F-4C250D12276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdbf83437d9be239add16c891acf21b86f3e526e","datavalue":{"value":"expressive interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334976$F4FA6B6E-AA9E-4BCA-A709-10D11FEB98AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6035a16537763dd93460588799563c5c32081ec0","datavalue":{"value":"effectively given domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334976$25B50BA2-4B13-44DF-95BC-7B9C900D2CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772fc10306762bec1c934c3959674a62c05a5320","datavalue":{"value":"computable functions of higher types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334976$5A9F556F-EFF0-4FE8-A317-7E629ACB53DD","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":"Q3334976$4409D9F5-A47A-4712-AFCA-6F5DE29A9598","rank":"normal"}],"P1643":[{"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":"9acd07e4849f1f81217204e2c778c33f7240db64","datavalue":{"value":{"amount":"+0.8313352465629578","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":"Q3334976$710EFD62-8B63-4610-9A75-2D0D0DD261F5","rank":"normal"},{"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":"5ec62073e100f38b16754e8ea2b707149bcf5df0","datavalue":{"value":{"amount":"+0.7866930365562439","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":"Q3334976$064FF563-5EB7-4DC2-9E4A-38D1F16D1905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672d995dd3428eb07ed30b7429a38292a5821170","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45bfb934d9842b15a68dca61796c90ba87d93bb","datavalue":{"value":{"amount":"+0.7836004495620728","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":"Q3334976$A00CB542-D899-4B75-B41E-D132E7FFAAAF","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":"fbfc2fe494fa1664586605e15134b9fbcd92fd3f","datavalue":{"value":{"amount":"+0.7724956274032593","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":"Q3334976$A0D0E43B-C200-4766-9E76-9EB146972469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491365343ef3f16cf7c31d17f9cc88be61ee3cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3326819,"id":"Q3326819"},"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":"Q3334976$FFC18F5E-5FF6-4CE1-AE57-B9E2C7E136AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3334976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3334976"}}}}}