{"entities":{"Q3740223":{"pageid":5770129,"ns":120,"title":"Item:Q3740223","lastrevid":50938244,"modified":"2026-01-15T20:20:09Z","type":"item","id":"Q3740223","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974280"}},"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":"Q3740223$6706C859-0D18-4125-BE89-257DA95857FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"060d2279f19ebae6dbbed5c876e6ad4bdcfc006a","datavalue":{"value":"0603.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740223$DCE55E12-F45A-4AB5-AB4A-27B2B4475286","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740223$F2416F0F-54C6-47A2-9C31-8B1185683CC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3740223$7D41B365-7B3E-401F-BA09-D20C55D0EA04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740223$F544DEB5-6BB9-4F52-A419-BAA534EE3E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740223$EC7393BA-E46F-4F40-BADB-40D1492631A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740223$DA4743BF-2C03-40B3-B96F-9BD2F01A93A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8f0d707a5a464456ce41882c43d91ae36a2aa37","datavalue":{"value":"3974280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740223$48FFD3F8-46BD-4643-A310-C35450752B5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740223$76AF1F23-07AA-4578-8F48-F29D326FBB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5801f6cbd876d93fd48fb61dfee4176866b824b","datavalue":{"value":"strongest postconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740223$63EFAF9C-F7A0-4D2D-B433-07AA7F483DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40eda1ce33b3fb5cdbf6c2f4080f26c9b02f7faf","datavalue":{"value":"infinite computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740223$4D5DDDE6-9E2F-49F2-822B-4D123559216E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d991e63a90f3eab03d4d7492fce68095235234a","datavalue":{"value":"loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740223$C0B6327B-AF3C-4035-91F8-E806F965A55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d625df523862ce7b47089d0478cb9bf8c85189","datavalue":{"value":"repeat","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740223$5FAF5718-88EE-4979-8089-40E859E1EA23","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":"Q3740223$93D445D8-9D41-47BA-AE37-61CD32F27FE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c16f28dc3fbff40601c642aeeaf42e7e815893d","datavalue":{"value":{"entity-type":"item","numeric-id":1923830,"id":"Q1923830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafcfa01bf1727780ac767cee9b7a1ab13d6a599","datavalue":{"value":{"amount":"+0.807847261428833","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":"Q3740223$6790E8DF-33AC-4DE0-8D15-36B9173BCB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079684752b1943f1aee76a1343d5eb0e709eae7a","datavalue":{"value":{"entity-type":"item","numeric-id":4647551,"id":"Q4647551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85592307009f1ef15050088dcafd3107500d346c","datavalue":{"value":{"amount":"+0.7826292514801025","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":"Q3740223$183CE98A-7008-4B5E-8039-725DCC0F1F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb6ce98ae8317df1eb9b436c09a370a65180c27","datavalue":{"value":{"entity-type":"item","numeric-id":3616354,"id":"Q3616354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b82ffe4f6de3a139da488e6e316b66ef1b540e4","datavalue":{"value":{"amount":"+0.7739615440368652","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":"Q3740223$2611B28B-73F1-427E-89F0-99580EEA10A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f8b0d0383c79431497177fe560a2953b859ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1854371,"id":"Q1854371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbde07bb3de22bfed3155a8679afcba9ab904b3","datavalue":{"value":{"amount":"+0.7690907716751099","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":"Q3740223$4DE4721A-8A13-4D5C-86DD-90C02A268727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b23d029f3bc64c9314e76b394bd5bf3445efb5a","datavalue":{"value":{"amount":"+0.7566094398498535","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":"Q3740223$B2DB8509-6EB3-46A1-BEA0-54078348EFEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3740223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3740223"}}}}}