{"entities":{"Q3758809":{"pageid":5788715,"ns":120,"title":"Item:Q3758809","lastrevid":51771083,"modified":"2026-01-19T23:04:47Z","type":"item","id":"Q3758809","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4008371"}},"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":"Q3758809$87336B18-D91A-4097-BAA3-1A8D13A71552","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ee6acc23a5f9cd1e44288158da2f05d08c4993d","datavalue":{"value":"0622.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758809$23C8A52F-0C5D-4C30-A1CC-DE5D942F9789","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":"Q3758809$2CF6D427-D43C-4BB3-99EE-1F9F2B9EB17E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758809$E5FF7B8F-F144-4B8D-A553-69638C924A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758809$2929F46F-9836-4BA4-9006-0F48C61A2ED6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e309df52a8d1c8c0564e98052fecb6aee2b33933","datavalue":{"value":"4008371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758809$77452701-64D0-40DA-A945-878A0FDA58B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2b30c0f18a00cb3c31eeddf970d31b67ad332c5","datavalue":{"value":"symmetric dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758809$A8254C82-5C6E-4ED7-BE18-5EF1D228E465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7842636ecd34cc69e9149cb6abd03c615fc9ca23","datavalue":{"value":"sequential calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758809$CAE02149-2486-4539-9219-4B5325A7141F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae51bc794822d18241604ada1d9354bb534c16f3","datavalue":{"value":"functional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758809$4C5FE1A4-9DE6-4237-93AE-8185D77E1117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758809$C01C8A43-F35B-48ED-B29B-353299E7C00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5ac46422607c747e60f1c77051817e04e9baee","datavalue":{"value":"program termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758809$00784183-1070-4140-899A-851F7497F405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83342b5e82adf6d844b11f6ee0fd196daed61474","datavalue":{"value":"total correctness of deterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758809$16E0BC00-82CD-4923-AE58-8D93023A6694","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3758809$CC6F7C09-9E42-49FC-84BD-7E34A18922D4","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":"Q3758809$C5B19EDD-234B-4D4E-BAA0-F2129EE724DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc875e8d5183199c8cc5e766a48a1f8abc4ffac","datavalue":{"value":{"entity-type":"item","numeric-id":2255197,"id":"Q2255197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9005197cd9c0ff953483e875dacd9992a2d474cf","datavalue":{"value":{"amount":"+0.830856204032898","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":"Q3758809$BD4AC1DF-AB5D-49E2-BCBF-D30E389238E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266b8a3d2c6a815bddf69d8426134b0541e48c84","datavalue":{"value":{"entity-type":"item","numeric-id":3693508,"id":"Q3693508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce85c6e607ce62cb415c018e53596ba328cebda","datavalue":{"value":{"amount":"+0.8230175971984863","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":"Q3758809$7AF37667-E18A-43B2-BA58-35A0B682C326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404ff757e0096ac52c816e0efd724c0037342fb6","datavalue":{"value":{"entity-type":"item","numeric-id":2757834,"id":"Q2757834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493730d36422a7dae2e5e33322e9747758f33c3f","datavalue":{"value":{"amount":"+0.8109108805656433","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":"Q3758809$CBDA5DA1-D5ED-4988-90B3-AD72AE054106","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":"795ec56a64dc8928c3690c117ab5bb1e77856c55","datavalue":{"value":{"amount":"+0.7717757821083069","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":"Q3758809$8D2B868E-FDEA-4BE3-B65F-473C22D80431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb3937da41f1bf8c9cb00b7c85ca58d6bd4f960","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fdbb571a8d679b0be02f37730e1340f2404cf76","datavalue":{"value":{"amount":"+0.7712411880493164","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":"Q3758809$6C0B93B2-1FB7-42C5-8A0A-92060756D205","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3758809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3758809"}}}}}