{"entities":{"Q1815345":{"pageid":1826087,"ns":120,"title":"Item:Q1815345","lastrevid":69032361,"modified":"2026-04-13T03:51:52Z","type":"item","id":"Q1815345","labels":{"en":{"language":"en","value":"A tactic calculus. --- Abridged version"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 943665"}},"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":"Q1815345$D2FC91FA-E421-442B-BB58-A3CC45B27253","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"797655f7a6361ea5418e803c1b9839e7e7ee7eb4","datavalue":{"value":{"text":"A tactic calculus. --- Abridged version","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815345$E766CFAB-9B28-46A4-8917-2291E36AE6A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4b043e00c7a2c66175b7e2d064659664290f971","datavalue":{"value":"0857.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815345$EC2A1DAF-CF6D-4E00-8BB9-F78125F56E56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de5212d77be0a712be8012c6b83f728037f88f1a","datavalue":{"value":"10.1007/BF01213535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815345$54F54366-E74C-4EB0-99E9-5E02EADA50DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815345$70DFDF89-F15E-49E9-A773-425208B40DDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815345$222859F6-1779-4674-A1F9-035B3D1CA58B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a57270832a5fa2aef2c433a8fb31702b3e548c","datavalue":{"value":{"time":"+1996-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815345$0D386C36-3CA2-4C09-A586-E184E4DDA320","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815345$435245FB-E016-4A21-8D05-16D9CFA90163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74edc49a2926957b7ec9f2938ecda967238c7b53","datavalue":{"value":"943665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815345$23C80402-6C00-4803-A80A-8183DDBB2BF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc9ac16b3484e811a74dd815f2d4fb1a9d0b39d5","datavalue":{"value":"angelic nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815345$1CC0ACF5-F5AB-4286-88FC-BC9B543C1EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c80ecf21428f980362763aa3ec34b156b15c6fc","datavalue":{"value":"tactics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815345$52D809B8-6B83-4B82-A31C-9806403DD52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0c49a57eae3559b17a61e8e8fd872dac438e4f","datavalue":{"value":"tactic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815345$EC083DAD-341C-4FF1-BA14-EFBD75910063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bacdaf3543767dd7e500bed234bbef8d66021614","datavalue":{"value":"structural combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815345$A8B33C62-0295-4491-AE0C-C5958FEB6274","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815345$88B28673-0BE1-4080-B07C-FB36551D9612","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":"Q1815345$35B383F4-F572-4FDC-93EB-FE2291DC650B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815345$CF7719BC-E792-4C01-AF02-2C7B6EFD9639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94a2fe58e64b528f4d29cb8a45205f6ae980a02","datavalue":{"value":{"entity-type":"item","numeric-id":1311396,"id":"Q1311396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815345$69D3E61E-BE2C-4950-8B94-65435E7B7A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815345$9309D52C-E82D-48BC-93CB-279F0DC2C382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c621fa8227c39a838853eddce9768e0dfe2aedfd","datavalue":{"value":{"entity-type":"item","numeric-id":1815345,"id":"Q1815345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815345$8618B3C5-DB7E-4668-B616-875D6B27849D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815345$5A51E3B4-DCEB-4901-BE62-18090DBA306B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05fb0e26ea4f9065c09fe31bebb376ec5cb3087","datavalue":{"value":{"entity-type":"item","numeric-id":3336739,"id":"Q3336739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815345$1BF9C425-B999-4109-8067-3FAA5A62469D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6ec98166791d48c4cdf7c13fe81a94192facd","datavalue":{"value":{"entity-type":"item","numeric-id":3685162,"id":"Q3685162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815345$6EE7A7B0-819F-44DB-8EFA-2C6694CEAC81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"daa8d4c92baa6a73ddcd2eaabfc068a4361bd105","datavalue":{"value":"https://doi.org/10.1007/bf01213535","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815345$E48DC61B-9A2A-4675-9D3B-BEDB47CD901E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca19d720e2b98f5abad5bffdca6ab22cc4e3c66c","datavalue":{"value":"W2036502249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815345$67DBA415-5B96-44D8-8D64-30C0DB8916CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca320f3d91c0d7a8bb4f611412474fdb2e1c5024","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fbf029632e45592163dd48e45dd06abc49117a","datavalue":{"value":{"amount":"+0.8372041583061218","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":"Q1815345$129E4CD0-D897-4E89-9DB1-2AA5F5E8AC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b374d103ae25750298391ed37f0bec8a184b0c0c","datavalue":{"value":{"entity-type":"item","numeric-id":2847396,"id":"Q2847396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58198c14181864ef50753340cd79172b2fbd0ae","datavalue":{"value":{"amount":"+0.8102255463600159","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":"Q1815345$70114571-F5D2-488E-B2E7-87114B6F2F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ab00a5e907d4196b60b3ad1b8732c3b3f976c3","datavalue":{"value":{"entity-type":"item","numeric-id":4370265,"id":"Q4370265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2503ce624da1ab181adebf8c93cc9170380a3763","datavalue":{"value":{"amount":"+0.8054949045181274","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":"Q1815345$EE25A753-5D7B-4BAE-BCF0-93517B1A7A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7a7c4f5dac6dd56f6689fbd94d027549e0a9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5756755,"id":"Q5756755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848c9349bb1881c4581992974885c7b4571a16c8","datavalue":{"value":{"amount":"+0.7977727055549622","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":"Q1815345$81B2ED8D-CEF1-4304-887B-3A9A1FADE1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d8460ce4f486383b05ac93c44ee0afdba81933","datavalue":{"value":{"entity-type":"item","numeric-id":1791152,"id":"Q1791152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c0e60ea65248ee9f01e62b95a927b290ecda3e","datavalue":{"value":{"amount":"+0.7794514298439026","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":"Q1815345$AB5723FB-945B-4164-B5F5-15E8CF8091E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tactic calculus. --- Abridged version","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tactic_calculus._---_Abridged_version"}}}}}