{"entities":{"Q1311969":{"pageid":1322719,"ns":120,"title":"Item:Q1311969","lastrevid":68429205,"modified":"2026-04-12T23:39:13Z","type":"item","id":"Q1311969","labels":{"en":{"language":"en","value":"A complete modal proof system for HAL: the Herbrand agent language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 487961"}},"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":"Q1311969$A4378092-5DBF-4AFE-86BB-1A6DBD2A5AA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"411cc3b0c017420e0cb4737fb45c383357094963","datavalue":{"value":{"text":"A complete modal proof system for HAL: the Herbrand agent language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1311969$CB72E6A4-4BAA-406D-A4DF-9F967672B679","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d035c2e307364b85fae38f1ce57a5f467d4bff40","datavalue":{"value":"0783.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311969$8F85EBC0-ABAB-49E1-95C2-17D337F31CE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4c018003f77d414b0fe8def8ec0bb3bfb775f5a","datavalue":{"value":"10.1016/0304-3975(93)90342-Q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311969$92FD203F-7FD2-418E-89FC-07B307961CB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47de3ad601fe7b388b3a144b118f55c48e92bd2b","datavalue":{"value":{"entity-type":"item","numeric-id":606184,"id":"Q606184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$6F2F3957-DA69-4FFA-9FFA-8E1580F7F68E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$EA71EE25-3384-41E8-972B-563579A62D5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68b724eb687dbe57c6756b615ba860966fd43d36","datavalue":{"value":{"time":"+1994-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1311969$5A8AC865-C120-47D7-B7C1-DDDA8EA2F0EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311969$0014A51E-4125-463A-92A2-FCAE668C1A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311969$BB5FAAB1-A1CE-4934-85A8-51A4D2DF039A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311969$5ECCA7FE-E28C-4FB5-BD76-4D2342415019","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"006e752efd7b63ca76f4270f9aa7fd0a9e7e9795","datavalue":{"value":"487961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311969$128BB3E7-D3A4-4DBC-A44B-8D44A06C8060","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73debb543c92335ba2906d2dd670651995cf9288","datavalue":{"value":"formal specification and verification of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311969$7895F825-DC73-491D-B2F5-409FC8509757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b784037dd431dcb835fea18ab4fd39c0c10ed59","datavalue":{"value":"Herbrand agent language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311969$C90E8373-3CCF-4E21-B927-5387E3C89A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311969$61F2325E-1C0D-481D-B7C0-CBC11FF9AB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b854dda1ac70b764365fd7864ae0dda6d048e899","datavalue":{"value":"modal proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311969$FEF2AA6A-D830-4DF9-BF18-26AF1EAF2869","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":"Q1311969$09BFC928-76C0-41FB-9460-814F8C43BD26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$049BB966-A7A8-4CA2-A9D6-AD51D8AD9B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acecb45d527064474401487c6d252f74914ae2a","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$9ADB3CE5-37F8-4A27-AF87-A09309AB98B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$FACB3368-A0AD-4DA3-B0FC-5FEA50DFB472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$72F8C5CA-6C40-498C-A0F3-1D6F25811618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$4DC92AF6-7700-4A0E-98E2-BF09BF20529A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$81344E64-3209-42A8-9692-D074EADB6CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$280A44FE-D158-4BB4-B10B-75E13C8E24A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$9F3806C2-7C61-4D58-A6DF-19D98F9D6B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$4A11FC4C-55D6-4EF9-98C9-2CC8D61C663B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8612e31926aa2a0d7d9b618cb86ed3ed06555ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3677160,"id":"Q3677160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$5BF014DC-7F5B-4AFF-9559-01C240636C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b3202d0a36de134fc126e958e9cdfbcf16cdd7","datavalue":{"value":{"entity-type":"item","numeric-id":3707371,"id":"Q3707371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$037685BF-9CAE-4EC9-AA92-EE0C40DA358A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$12BA7851-99DF-4011-8503-CD7884ADC54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31aa968ebd337706ec5ce7e4ca615453b6a22c0c","datavalue":{"value":{"entity-type":"item","numeric-id":4874391,"id":"Q4874391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$CBC93DD7-A5E3-4861-8B5C-60A973BC4E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7bd2820fe3f1cd359c9a558d9702d9320e1bcc","datavalue":{"value":{"entity-type":"item","numeric-id":3711741,"id":"Q3711741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311969$94211091-E93D-427D-9F25-CA50ED2F1683","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a029b91876278cf14be7394fcd63a6ea694d1ca","datavalue":{"value":{"entity-type":"item","numeric-id":6099618,"id":"Q6099618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4991193621fc3c20ff0859266ee542f80fb2fbf","datavalue":{"value":{"amount":"+0.86489576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1311969$9FD0E1A6-C3B4-47F3-90D8-540908A60F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc8c9ddad284771363a4f6a9e2c9204d401d3caa","datavalue":{"value":{"entity-type":"item","numeric-id":4222877,"id":"Q4222877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d6b1e6091ca1f34cd69e97fc7024845696bca6","datavalue":{"value":{"amount":"+0.86414236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1311969$089F0808-6968-44E5-BC6E-E43EC84ABEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c458e280a3f6b01a8c14ac4810b46bceef44c23","datavalue":{"value":{"entity-type":"item","numeric-id":4636050,"id":"Q4636050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a11e42afe15f6452c35cb2799d0e9c48c0310ca","datavalue":{"value":{"amount":"+0.8633986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1311969$FA0E4A1B-F4D6-40E5-9CDC-C348111D45E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8180bb0885b882bfff46fc953d178ce8f532c1","datavalue":{"value":{"entity-type":"item","numeric-id":3382814,"id":"Q3382814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5bad544297526b079406615da1f70417048225","datavalue":{"value":{"amount":"+0.86000293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1311969$12E8610D-92BB-4395-AEEF-69AC8AA0C9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4f4ec85980c8c79a6bf25c0a2a61aeed189f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4443417,"id":"Q4443417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caccfa89c1b3742205b6073e684eb1124545fe49","datavalue":{"value":{"amount":"+0.85891724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1311969$CAADF61D-73FD-468A-9AE6-376E4E7C0362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb638adc3dd24baaf5bebd588c7d4ac869a9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4632321,"id":"Q4632321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d59200b492581a0ec750216f1cfa943f514d64","datavalue":{"value":{"amount":"+0.85851866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1311969$7A080665-E523-43CA-B606-2E1CEAB9E557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80c8c7a561c38895d7eae3dad2d838704c4bd4c","datavalue":{"value":{"entity-type":"item","numeric-id":3711741,"id":"Q3711741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fe1a5122ed4a76cb6b4b5e723d90bac9712661","datavalue":{"value":{"amount":"+0.8581063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1311969$44F0D5E9-DD8A-4EE2-A45B-EAF1228285FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41044862e83a3406e6a76a6b0a84bf3513b1f1a7","datavalue":{"value":{"entity-type":"item","numeric-id":3776603,"id":"Q3776603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fe1a5122ed4a76cb6b4b5e723d90bac9712661","datavalue":{"value":{"amount":"+0.8581063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1311969$3F087261-1F5E-413F-96C2-FB3553DE054A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5e3802bd5dfe947195afba9933da926c295cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a93371af740c9083152c04aadf895711f80e48a0","datavalue":{"value":{"amount":"+0.85740036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1311969$16DE500F-AF91-4B17-B572-ED9326E98D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc266ebb54b890652e53082ab264af512b3532a5","datavalue":{"value":{"entity-type":"item","numeric-id":5236558,"id":"Q5236558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe2a6822fe4009f45eb3a47ccc3d2d529b0a569","datavalue":{"value":{"amount":"+0.85394657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1311969$7B743FBC-8CAB-48AC-B7F3-C6B5A51EB1B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete modal proof system for HAL: the Herbrand agent language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_modal_proof_system_for_HAL:_the_Herbrand_agent_language"}}}}}