{"entities":{"Q3792217":{"pageid":5822123,"ns":120,"title":"Item:Q3792217","lastrevid":52940771,"modified":"2026-01-23T20:54:59Z","type":"item","id":"Q3792217","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4056971"}},"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":"Q3792217$D613B7A8-27C1-449D-854D-3699D9D88C79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca981e18710d0a9c74c902421d2d7dc581ea8135","datavalue":{"value":"0647.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792217$5D96BF3C-868C-4727-A0CB-51E9555A1046","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3792217$299D9B3E-A3D4-4710-98D2-2FF8D9655252","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792217$036838A3-3292-4CC8-A141-46F364645FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792217$05E75A1C-DC0B-463C-B23C-EAC7EA4FA314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792217$E3E9B551-2A4E-4F03-B0AA-79ABDF6CCCEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a697410824cf6f6eb6e3ec78f4727134c572494b","datavalue":{"value":"4056971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792217$B200617D-8C4E-4407-A7AC-EDC0D4200D55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5073c0a5fb9f470d8e418aa70e3fb4e6b7562d1","datavalue":{"value":"Hennessy-Milner logic with recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792217$40720C3B-664E-4BC9-B509-8296CD3E7B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d3a4daa72e8fb2f17074869490bf846693beccb","datavalue":{"value":"Minimal interpretations of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792217$DFDFE2B9-4D63-4055-83E2-D01FAFDD0C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792217$78F4D94E-DF21-48C7-89E1-F0EE993555EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82bf66ded88b46580ccc3aa8cf0c723688355f1a","datavalue":{"value":"maximal interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792217$41AE9087-87CD-4B63-9F9E-38F21EDE9A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792217$F375C1BB-922E-44CF-839C-70C48691F57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792217$4F49EEA6-4CD2-4BAB-9ECC-709CDA4D83F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792217$120A8E70-3B56-45D7-83D5-56B29F7E2DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792217$96653E0D-53D9-4571-B73E-3586113E11EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dde8a3acbf5a51e4a3d382793141716073998d1","datavalue":{"value":"verifying","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792217$23960798-4EFE-4C21-8499-C325F55C3520","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3792217$7BB2DCAB-3453-4EA9-AE30-07CC6442718A","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":"Q3792217$C2BA0B91-06D3-448C-A194-BACF9E4B6A08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eba4f5725e1d33c62997328982b8edf94e7b9b6","datavalue":{"value":{"entity-type":"item","numeric-id":4260699,"id":"Q4260699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e65167894080af8e9c8593d9cd434e26ea09c6d","datavalue":{"value":{"amount":"+0.8056604266166687","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":"Q3792217$42E15F35-5BA7-4132-B648-76E38205F117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f934f05e41da7f0390ff2cd55bec5921b2b844","datavalue":{"value":{"entity-type":"item","numeric-id":1878715,"id":"Q1878715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07690dca972c5a4e22be2f4124cf3839c62fe626","datavalue":{"value":{"amount":"+0.7952488660812378","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":"Q3792217$FF5E5531-7FDD-4F3E-A921-F088307CD098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dba8764871d1e6bc265eaa06f35bd9d4b99ed60","datavalue":{"value":{"entity-type":"item","numeric-id":1183608,"id":"Q1183608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cc03ac78c0a0f7dbd20b28237ef7930d2ab73a","datavalue":{"value":{"amount":"+0.7879915237426758","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":"Q3792217$16342E7E-4DBB-4D02-8393-FECAEF6CFD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f266055edd9b10353274126b34915dc9046c3769","datavalue":{"value":{"entity-type":"item","numeric-id":2842098,"id":"Q2842098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cc03ac78c0a0f7dbd20b28237ef7930d2ab73a","datavalue":{"value":{"amount":"+0.7879915237426758","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":"Q3792217$16CB0CD8-8C12-4FF4-BB8E-BFAA1BB30BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de3f9e1e2a32a67e04674d210867a974a5a7fb2","datavalue":{"value":{"entity-type":"item","numeric-id":911261,"id":"Q911261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44604cc08ecb48ffc65861d427242a81cc39273b","datavalue":{"value":{"amount":"+0.7789245247840881","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":"Q3792217$D156CCBA-4DE6-4F6E-92AA-BA88C591D828","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3792217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3792217"}}}}}