{"entities":{"Q3313252":{"pageid":3323960,"ns":120,"title":"Item:Q3313252","lastrevid":48673747,"modified":"2026-01-05T14:02:49Z","type":"item","id":"Q3313252","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3843129"}},"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":"Q3313252$9647C278-920E-421F-B546-7C12410E2927","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9371c2cc7fd97debf160e32fa0ecdcd5b9f4b43e","datavalue":{"value":"0531.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3313252$A9EA54C7-CC1D-437B-8073-D462550F2EA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3313252$8F5EB99C-6803-4D09-8384-C874A8BE68DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3313252$7F1E5BB4-0660-4A82-B80F-501A973013B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3313252$98F66C1A-7758-4066-BEBB-B89EB1FEAC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3313252$C7CFCCD0-45F4-489A-B2A7-2BA5E0593EA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dd6c973d62005e600dc28ed65a3f57a243006c2","datavalue":{"value":"3843129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3313252$14D4AB9A-FEFB-4B15-B84A-97FBABD780B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3313252$B4A8E219-71D1-4A2B-B92C-E6EC594578C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3313252$C113D4AC-8E16-4C5D-A77E-F6DA3890E249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3313252$A2060156-E6BD-4A96-BC23-B0B26AB19856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea686fd75d01d0dfdf5c0e60a1bfc58d42aa067d","datavalue":{"value":"complete partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3313252$07EAD1E7-B9F2-4F45-8ED9-05007AFB67AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3313252$3672EFDA-1144-4549-887F-8CDF9E2DC6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c23aa7900c5936b777f3d91dc1f6349283ccbe98","datavalue":{"value":"nondeterministic computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3313252$46B917F0-34C8-42B0-A331-3E6C0C4AA613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3313252$514FE90F-941C-45AD-B047-695D911DF97E","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":"Q3313252$DEF41970-65A2-42B6-8953-7E95A359BFA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b153b781821641eb4796964e935b08e0abde7252","datavalue":{"value":{"entity-type":"item","numeric-id":1067409,"id":"Q1067409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594cf4db7cc3f3030f95049f56a18ab2a9697ef3","datavalue":{"value":{"amount":"+0.8938086032867432","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":"Q3313252$68229195-CB51-493F-8D94-BA10991B5F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed97b49e12e3645c672fa641bd159ca9cbcc4c8","datavalue":{"value":{"entity-type":"item","numeric-id":3723678,"id":"Q3723678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310f0eb45a4428f0f982cc8192f42da59ccaef43","datavalue":{"value":{"amount":"+0.8137787580490112","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":"Q3313252$FC94FB28-A6D7-45BB-B8E1-BD5683D66015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d87a5294c53e5f08db0960948d20ec8b5cfa7b3","datavalue":{"value":{"entity-type":"item","numeric-id":3756504,"id":"Q3756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b580a11db620509cb20eb65a9a4defa2048d7fa6","datavalue":{"value":{"amount":"+0.8086423277854919","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":"Q3313252$F2305A48-98FE-4B28-82D4-8483F890A8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c2183fcae3d288a21639ec603e3b42fda0bcf9","datavalue":{"value":{"entity-type":"item","numeric-id":3691052,"id":"Q3691052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb03634b50b34bbe1b6d7af4b4014eec1af74e5","datavalue":{"value":{"amount":"+0.7891882658004761","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":"Q3313252$FCBB1076-E967-4727-BE6C-7A31918D4EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68c606cd6155a42de6fb755c9c87f67c06c536b","datavalue":{"value":{"entity-type":"item","numeric-id":3818365,"id":"Q3818365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79065f45c882a6c61d38b80ace44addebdb04079","datavalue":{"value":{"amount":"+0.7867927551269531","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":"Q3313252$82FF5582-78B2-4B27-8DA5-4D6612450DFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3313252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3313252"}}}}}