{"entities":{"Q3347263":{"pageid":3357971,"ns":120,"title":"Item:Q3347263","lastrevid":48785506,"modified":"2026-01-05T20:46:41Z","type":"item","id":"Q3347263","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3890703"}},"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":"Q3347263$B5DC07D5-8A93-4F57-92BD-F3DB4AD81C71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cefb490e9774937c7e9c1a8fa88d3b785d34822","datavalue":{"value":"0558.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347263$4338428F-D4F1-45D0-85C0-36BC8721D742","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"349908a47ac2da38d7d1149afe1962afe8a312ff","datavalue":{"value":{"entity-type":"item","numeric-id":1179706,"id":"Q1179706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3347263$618873DE-3BFB-4D51-AAF3-4F589BD5CC0E","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":"Q3347263$282453F3-C85E-4686-8438-8DFBD6298F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3347263$23E4548A-855C-409C-B943-5C2DBBAA9082","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":"Q3347263$089E4150-0298-4F67-B538-43DA82C9AAE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347263$73B244BA-36DF-433C-A59E-C1D0F9AEC194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c6ca5c7aaf5cfc073e3573b2a0fbc0c2dad108d","datavalue":{"value":"3890703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347263$345517BF-D20B-42A6-8EC3-198857A8B67C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347263$2248CB4E-0524-426F-B786-972AE801B417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347263$D01EF446-6018-46B6-93E8-77B1D878F08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347263$9A294655-19EB-4629-8C08-E331A35A36EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea686fd75d01d0dfdf5c0e60a1bfc58d42aa067d","datavalue":{"value":"complete partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347263$375194C0-D8C7-4E46-ABE2-9C21D8B0AC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7b69466cd5725489aee666181d06755a9d5b9a7","datavalue":{"value":"Partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347263$7A03243A-E451-4ACA-B654-F5974CC29474","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":"Q3347263$A3BB9E08-1849-42E4-906B-D5713651F950","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b110da6a449e240acc9e7d4c7692a5ed39aa0978","datavalue":{"value":{"entity-type":"item","numeric-id":3687684,"id":"Q3687684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace633b15fb6c8760b0554bd1f2e2b27e0bc1f6b","datavalue":{"value":{"amount":"+0.8032062649726868","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":"Q3347263$566538EC-7811-4BAA-B933-82B166004E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e411a357f33546a3bb1e1f7ed9a2d48a8da97b97","datavalue":{"value":{"entity-type":"item","numeric-id":3761675,"id":"Q3761675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a66d8341a00dcf623218d942ca8f294067b4b0d","datavalue":{"value":{"amount":"+0.7989619970321655","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":"Q3347263$A720C9D0-B40E-4FE4-9069-59BAD12C71B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c7d4b669b11aa55c1a6323bd393c288d1d3598","datavalue":{"value":{"entity-type":"item","numeric-id":3680259,"id":"Q3680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f778728e36fbb3807db816eac9363795a2c6a09d","datavalue":{"value":{"amount":"+0.7841750979423523","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":"Q3347263$EBE5A1D4-F7C5-464E-B6CA-1CBF2CF8E50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9c5e69d703007b3cbf501ee3f528c126a08e68","datavalue":{"value":{"entity-type":"item","numeric-id":6116563,"id":"Q6116563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59db750f8c0cf0a0c72264e498542b49b4a8ff7","datavalue":{"value":{"amount":"+0.7797048687934875","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":"Q3347263$B19285A0-A8C5-4208-BABA-ABACC67A3BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beea412605d5c6d8074df56c64607561cf0be092","datavalue":{"value":{"entity-type":"item","numeric-id":4353361,"id":"Q4353361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae5a32da6ad83a7660d4f4517ceb167c0b1add1","datavalue":{"value":{"amount":"+0.7765907645225525","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":"Q3347263$DCD43893-478B-4758-9558-4C910F8298CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3347263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3347263"}}}}}