{"entities":{"Q3765240":{"pageid":5795146,"ns":120,"title":"Item:Q3765240","lastrevid":51824366,"modified":"2026-01-20T05:43:06Z","type":"item","id":"Q3765240","labels":{"en":{"language":"en","value":"On the Axiomatization of \u201cIf-Then-Else\u201d"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4022630"}},"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":"Q3765240$8DFBB136-35B1-46AB-BA81-3C06895AD1A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ab980b122fc08677fb58315cdb0b81bc7107e9d","datavalue":{"value":{"text":"On the Axiomatization of \u201cIf-Then-Else\u201d","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3765240$9366EBB5-A0C8-43F8-AC72-A622202DA3C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dea0cfe8d0886b8efe5f81d2b29b52c3ce1107d0","datavalue":{"value":"0628.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765240$F4668953-7DBC-411B-A6C2-2BA4280FFF48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fe249c8fc14357868a6fdbb297397094e79287b","datavalue":{"value":"10.1137/0216025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765240$188DEC63-72A2-477B-A03A-B1942F1F7FEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a230f70c8750c383f1c2f6051732dd11c72f444","datavalue":{"value":{"entity-type":"item","numeric-id":234705,"id":"Q234705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765240$A5EEC89F-41D7-475C-9745-DA5A483629EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765240$F8A0945D-DF6B-4A50-ADE5-0D6DB8B03022","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765240$55667FF7-7D91-494C-899E-87E0E86616EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3765240$7B763A92-5F02-4B6D-AD28-2C926F5845C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765240$6129525D-BC3C-4963-8830-9EE9E1BCDDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765240$A067D462-82C1-4B70-A775-7F0C62CA9778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765240$B3793F8A-A3B2-4C29-BC2D-2D99AA19D5D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"921495526d4c73ffbfa8ba7b774e5561f736dbd8","datavalue":{"value":"4022630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765240$E684DAF2-5412-46C8-8E9A-C28085E23AAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0effbd1ad15e3c0ad2206672e057492399352998","datavalue":{"value":"if-then-else","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765240$B87EE00A-6883-4FEE-8BA8-FDED4E897F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765240$2A9B663A-8441-4C8F-96EC-83EDA32223A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765240$BFA5FD02-C783-4060-ABBE-C074F82AFA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7606adba97b79deff62f5f698385376d50fe16","datavalue":{"value":"equational axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765240$ABDD857E-6E92-4515-BB2C-9C5A9702C1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92e51fa732238809c6a3465b0ff5c440258aec32","datavalue":{"value":"many-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765240$E166462A-E421-445F-9F71-B8E6DC713D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa0c3289e258a19de6332c67476e528f8f33f0f","datavalue":{"value":"complete proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765240$063C9741-771D-41EB-BB9F-EFFFD92ACCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d8b4e9fd4d06fda9f2765c0fab903e714f963f8","datavalue":{"value":"continuous algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765240$7E5002B6-A226-479E-A2D5-D65AF18E50D7","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":"Q3765240$CFB7305A-0B93-43E3-9123-2DDBB0734F19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc7ee180de77b1b3aafe25ed214758b7b9752f78","datavalue":{"value":"https://doi.org/10.1137/0216025","type":"string"},"datatype":"url"},"type":"statement","id":"Q3765240$DC808B4C-58D7-4ADA-9DBD-54C4740DA42A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"590bb1fa417f50c65747caef85f4db8205b9f3e8","datavalue":{"value":"W2055563322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765240$6C984240-40AB-499B-B20F-9F113BFC2725","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eee38321cd31510f345a6ed6690e7410e2f107d","datavalue":{"value":{"entity-type":"item","numeric-id":3817577,"id":"Q3817577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcbd87fcd80307871e119648d2a57be02183ec5","datavalue":{"value":{"amount":"+0.9336276054382324","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":"Q3765240$73A03C28-1771-42BC-98D0-805C9735BBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cb7995024554b2e498009d2ce433979cf6b596d","datavalue":{"value":{"entity-type":"item","numeric-id":1062748,"id":"Q1062748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544b754361c77220bc0d9936268a695cd160c858","datavalue":{"value":{"amount":"+0.8441801071166992","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":"Q3765240$DDBF4124-3077-47AD-A0C5-C2034C8FDDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1feba14b74fe5f89599b22f1de042491c60b63d0","datavalue":{"value":{"entity-type":"item","numeric-id":690107,"id":"Q690107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee76fa326f451ad13a466484fbbb94a8ddde290","datavalue":{"value":{"amount":"+0.8426847457885742","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":"Q3765240$4299E5AC-0F14-457C-A09D-FE5F12D1312F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6426254c0a4b61d246be83e3d7410b234c864806","datavalue":{"value":{"entity-type":"item","numeric-id":5269894,"id":"Q5269894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ff6957304e2d41a8122dc38f3b52cbb6353ee4","datavalue":{"value":{"amount":"+0.8421037197113037","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":"Q3765240$A06A952E-7886-4287-BDA9-3CB1BD30D735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b0038ca3ee98317548980447d6302caee10aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3978179,"id":"Q3978179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c07febf717e7834332cd4f660b2a0e8d9cc251","datavalue":{"value":{"amount":"+0.8272480964660645","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":"Q3765240$B68F4027-CA08-4B5C-97A1-B2FAA805A841","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3765240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3765240"}}}}}