{"entities":{"Q1311396":{"pageid":1322146,"ns":120,"title":"Item:Q1311396","lastrevid":68426946,"modified":"2026-04-12T23:38:31Z","type":"item","id":"Q1311396","labels":{"en":{"language":"en","value":"Implementing tactics and tacticals in a higher-order logic programming language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 484764"}},"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":"Q1311396$E0FB255C-9B1E-4F5E-ACC1-BCF890D23C61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fa0b7d08a1042439cc57d122b0853487c473ec4","datavalue":{"value":{"text":"Implementing tactics and tacticals in a higher-order logic programming language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1311396$1D23819B-9B59-4A3C-A8DF-F14A115E1D95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"041373c74f0dbb0a46c45976b8551a6db1b02e6c","datavalue":{"value":"0783.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311396$6FCC021B-6788-4F0F-B2C6-682BB925F620","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e66b194b38a1227e2a54ce1aaf9625cdd57de1a2","datavalue":{"value":"10.1007/BF00881900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311396$BC529D2E-EAA1-40C7-AD15-65DD7D3435C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$70890476-EF5C-4DA9-8194-1B8D157A882C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64676cb2fd723bcdd2b292334fc4e3600b92f31d","datavalue":{"value":{"time":"+1994-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1311396$6626C021-44F6-40DD-B7A7-4C38C4846A6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311396$D97ACB4B-A41D-479C-B6EE-0B8D20699A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311396$5B639470-C14F-4CDF-B947-180A9DDD6D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311396$7BA32A51-58F9-4935-A0C4-93958ACA1095","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee73108159a03af284d33ad90a97c0cb90c726b1","datavalue":{"value":"484764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311396$DF24FDAB-BF08-4818-80CA-24128AE4BB15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c80ecf21428f980362763aa3ec34b156b15c6fc","datavalue":{"value":"tactics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311396$B53F6076-014B-475B-96AB-5DA69E9DACC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311396$7FE6375A-C110-46F6-9D71-6C131AF05975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311396$83F07862-226A-4DA2-8D1A-80A312DB2A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311396$32CB5884-5CF5-4018-A8EB-3572493CCCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a95188276cf165fa394406aa50da1ce974a545","datavalue":{"value":"tacticals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311396$9E110BA2-9EF5-45A6-A7AF-EB604549991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311396$EA97BCC9-F140-41EB-8289-2A931845A80C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3098c31aaa054039cc5414efb85f4a6bce38102","datavalue":{"value":{"entity-type":"item","numeric-id":590551,"id":"Q590551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$934A5DCF-F72D-4BE2-B4BA-5B2EEA6AEA3F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"688eba81cb056dd5bd9a14f97160caacc67f3346","datavalue":{"value":{"entity-type":"item","numeric-id":18616,"id":"Q18616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$E9E33FA4-D291-4133-A1DA-8C6DC33CF8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$224C577A-D20D-4740-888B-386D34A23B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$7F344CDF-A501-4B80-A06F-5A33753439FA","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":"Q1311396$4711C158-8657-46FD-A17C-C6EBD5DD46A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$9D72939A-C8C4-447F-8277-87D173F4B08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$A39DA1BB-7C72-4236-814F-3E8410A11D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e2b13fd5a27d330f592699f5bb5ff339813ded","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$9C9642E4-10AE-4842-8232-81F2EEB2A2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139e4113d7490e2010efb5b9ed721787bfac85fa","datavalue":{"value":{"entity-type":"item","numeric-id":4012881,"id":"Q4012881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$3F6D6905-2DF9-473A-A98F-10FF97AF942C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047a13d3d6ea9ccc4619fbb607df8f97a6476510","datavalue":{"value":{"entity-type":"item","numeric-id":4282512,"id":"Q4282512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$527A6301-F1DD-4368-86BF-165D66431630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$51B6EC00-D48E-4D7C-BE55-0E9FF64F32BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$1148B414-3A5D-4C92-A5AD-20B83535EF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$03093C70-A9FC-463A-B07A-9F16AB8EB262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f0b5c5d1ef7da893967c1b74defc4984f71dee","datavalue":{"value":{"entity-type":"item","numeric-id":1062761,"id":"Q1062761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$76F7B50F-A8E6-4676-AC0A-A41B5FE82C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$4C4115D9-826D-483F-9901-1ABF28FCFA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$26E0AFB3-C049-4088-A82D-9B71628E4FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$7798AD3A-BE3A-464F-A29D-143F3D0336C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fd1a91c3916e16b2e5046efbe49fbef163b180","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$E34407AF-542D-4994-AE5A-AF6BA8774092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$DB3CCF7A-BAFB-45DB-A263-70AD7331DD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$D3F95F9B-4DC6-4327-B721-34AE0646B600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$AE5A0CB2-EC23-4A31-BB2F-9CFDD93CC89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$C86F7E76-DD5A-44DD-98AC-D1537863DDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311396$0E5CA3DC-C361-4100-BF84-C87FA0F35814","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"460b36476bf39264d5f7856d1be6bdc3b4b193d8","datavalue":{"value":"https://doi.org/10.1007/bf00881900","type":"string"},"datatype":"url"},"type":"statement","id":"Q1311396$2AC41F2F-1037-4BBE-834F-0D0D0ADE0A9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d565eac7a98044a8526f47b2768e472e2c8659e","datavalue":{"value":"W2076819871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311396$026D2859-1BAB-4030-8161-444908C5715A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116ae40af25df1caab31ce7865056cc8623f9e19","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61aa285c53465db46257feb9ba3d1df794ab07b","datavalue":{"value":{"amount":"+0.902679681777954","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":"Q1311396$0B8265E9-8B35-449C-AB44-9412B7716744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9877f0dcd65138cde5cfee90673e908a79f3337d","datavalue":{"value":{"entity-type":"item","numeric-id":5464643,"id":"Q5464643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b79f487b953296b809ffa163e4272fb0c94eb92","datavalue":{"value":{"amount":"+0.7877460718154907","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":"Q1311396$52639BA3-E2A1-4715-9EAA-2EF756A7A75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc628ec77f4225c1666946ef50ea6e3eddd77d4","datavalue":{"value":{"entity-type":"item","numeric-id":2754047,"id":"Q2754047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d30536a5e969895d8807184b85fbbeca87d43f","datavalue":{"value":{"amount":"+0.7548845410346985","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":"Q1311396$0D0D5C03-2D8F-45ED-89B8-3467255EE12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a428679e11114c36ebb37462059642b44bb2ea72","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88643a4fc7ebeb42e6b87149f621cfc37a4b665","datavalue":{"value":{"amount":"+0.7475428581237793","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":"Q1311396$A9899A2B-CA54-401F-90A1-DFD251757CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0672489602917b84ce6fa08e433d1325cbf601c","datavalue":{"value":{"entity-type":"item","numeric-id":3370572,"id":"Q3370572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53e258fcce1d62a22e6ea18375e86e573016484","datavalue":{"value":{"amount":"+0.7432500123977661","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":"Q1311396$727918ED-7BB7-49B6-8099-7D06289DFB0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementing tactics and tacticals in a higher-order logic programming language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementing_tactics_and_tacticals_in_a_higher-order_logic_programming_language"}}}}}