{"entities":{"Q6560410":{"pageid":14171565,"ns":120,"title":"Item:Q6560410","lastrevid":55692643,"modified":"2026-02-17T21:07:10Z","type":"item","id":"Q6560410","labels":{"en":{"language":"en","value":"Logic operators and quantifiers in type-theory of algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869822"}},"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":"Q6560410$96A5B949-20CC-4F8C-9A23-5F19A2E6B014","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffea1c801717f2426b5f871321081e848f91fc77","datavalue":{"value":{"text":"Logic operators and quantifiers in type-theory of algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560410$6EDEC140-A0FB-429E-B2A5-2B37B48E8F1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0425d184d15c2fff83471fad800d8833153be67a","datavalue":{"value":"1542.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560410$D0332753-9293-4C56-8136-E950D5213C7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79c397db89f8d7da6643b2bda7df0a15a3ecee89","datavalue":{"value":"10.1007/978-3-031-43977-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560410$A5025AAD-913E-4013-9F6F-D5FE229931FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447bdc154e8ac449f418a40c3e7ee039f4c0d2c7","datavalue":{"value":{"entity-type":"item","numeric-id":2763091,"id":"Q2763091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560410$50F97AFC-822A-4CC2-B976-6AE30A2D2002","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560410$6E8E0628-53CD-4111-BDB0-B15790EB6743","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560410$6FA7868F-AFD0-476D-8221-AADA748787DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560410$A934772F-6341-4C85-BF07-AE6D0EBDE462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560410$9DD6297C-0ABD-4C4C-922D-8F962D7F8CC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51a9793c802bb64dcbf43946ad1e09127f989842","datavalue":{"value":"7869822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560410$54991402-BED6-4B34-8564-0D7A35BB284B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560410$B3D672E5-D4C1-47E6-A26F-C335C45B5EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272575b0b40558680152f7adb35b1b864229b47e","datavalue":{"value":"type-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560410$7B4F3DB7-E528-4446-8399-FCF8F08787D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"378bee01d4c938dd28aa6b747b7c1bb95fc714f4","datavalue":{"value":"acyclic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560410$043044E6-F73D-4019-AE5F-8E304A51BCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560410$00747DAD-BEB5-4DE9-AC22-4B505098C67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2d8de111c80bde88a846ac651ff0443da8701d8","datavalue":{"value":"algorithmic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560410$4FF04723-6CCE-4854-B222-CABBD90B0EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2957c9238b4331872f07a47d601d3a836f94e50","datavalue":{"value":"reduction calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560410$25823C4D-7E3F-42F8-9FE6-E251B97CEA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90271133f0ca6dc0b032f3f4cc96cc6d837afa59","datavalue":{"value":"logic operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560410$473C4F6D-9FA1-4992-B6C2-57C73B8B5065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6e6f13e308e7e28c37554ecc0101d13c6c9cb0","datavalue":{"value":"quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560410$4EE1DA00-D116-436C-96C0-69506F33C597","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":"Q6560410$A3B5CA85-BDFB-4B77-BEE2-BE2BEC92AF49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0457f0d5a737e9bb31a4a77d28a97e459977c406","datavalue":{"value":{"entity-type":"item","numeric-id":4108293,"id":"Q4108293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560410$CB90F1E4-DE14-4DE6-A464-0294ECF1E33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560410$D34FEBB4-9DB4-420E-9BFA-3FCD2EE3F0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896ebd9b126b254a5a6e17a3e2327fc5e0b99883","datavalue":{"value":{"entity-type":"item","numeric-id":5208871,"id":"Q5208871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560410$557EA3A3-550C-4D62-9CE1-AECB79F9A7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560410$38A9D7A2-5DBA-487B-B5C8-16C6B6A75D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15053157498b251e1a6b02d4ce25dce9f9b0d451","datavalue":{"value":{"entity-type":"item","numeric-id":3480027,"id":"Q3480027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560410$E80048D0-E683-41F5-B8E9-CD142796A7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41fead01a7d6bfe7e55bccc5621dba664f70313","datavalue":{"value":{"entity-type":"item","numeric-id":4281260,"id":"Q4281260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560410$28CDC8AD-C20D-4519-A5F3-D069A8258FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5068e4b69a5da9f2201cc7d7cc1207ab24e4fa38","datavalue":{"value":{"entity-type":"item","numeric-id":4395617,"id":"Q4395617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560410$4A8DC0EA-451B-4BD9-BC9C-26BCDDD1797C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560410$F58CC3D1-659C-42F4-BC26-BF6407A71AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560410$B93CC2FE-753D-4E0E-8199-EC489EB24358","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b928cc1a548cef6f1464fde05851f35359698dd2","datavalue":{"value":{"entity-type":"item","numeric-id":6636196,"id":"Q6636196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d19519379220a9ad4dbccade80a9f5d413e745","datavalue":{"value":{"amount":"+0.7289881706237793","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":"Q6560410$28CA552D-62EC-445B-A550-8D8ED27B810C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4424c639e43965ee40eae97bba9bb67c453c4691","datavalue":{"value":{"entity-type":"item","numeric-id":752689,"id":"Q752689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5be3102b2d12311225813374d40c11628a9f9d","datavalue":{"value":{"amount":"+0.694919228553772","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":"Q6560410$DA52C001-FBDB-4A8F-98FA-5357F855A9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5856fae6ba13e0bf5a445aba369b3e9abdc1a087","datavalue":{"value":{"entity-type":"item","numeric-id":4867684,"id":"Q4867684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d7d93a7a73bc6fe94a90eb6c7de383f4f0fb70","datavalue":{"value":{"amount":"+0.6888841390609741","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":"Q6560410$C7221167-65DC-4DA7-84A2-FFEA851FA9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2536a75f60310e61c48370f2c68acea0affca58","datavalue":{"value":{"entity-type":"item","numeric-id":1753993,"id":"Q1753993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228a9ba11449f969cc2807b50528619a13edfe63","datavalue":{"value":{"amount":"+0.6772031784057617","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":"Q6560410$68E3A878-A40B-4A84-880A-FF01B3EC480A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95b69d7c6b5d5e09567350eb2ae6b3a4f9a53ae","datavalue":{"value":{"amount":"+0.6768553256988525","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":"Q6560410$30BA2FAE-D768-4114-B8D6-D2D5D89D5D5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560410","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560410"}}}}}