{"entities":{"Q4946627":{"pageid":6976209,"ns":120,"title":"Item:Q4946627","lastrevid":47468671,"modified":"2026-01-01T20:09:07Z","type":"item","id":"Q4946627","labels":{"en":{"language":"en","value":"Conditions for the completeness of functional and algebraic  equational reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1422508"}},"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":"Q4946627$F3DE7C0D-B4B0-4E7B-AEE7-2DA7F2183EB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d8d93efe858a2dfa539cfbf4647c586860a76d6","datavalue":{"value":{"text":"Conditions for the completeness of functional and algebraic  equational reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4946627$DB437CFF-6B5E-4E4C-80DF-8EC313B32F34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3e95c5c9c29e37fb54e8409525a6a4cca506c10","datavalue":{"value":"0940.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946627$0C352DB2-80B8-480D-95D7-F8DA1E34A8C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7500e618105b475a68d30b4ee9502d7a2ddd22c","datavalue":{"value":"10.1017/S0960129599002807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946627$DBA7A18D-0226-4617-AFE4-F4571AFF80E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bfdeb93be10447055be91b480f8993068817647","datavalue":{"value":{"entity-type":"item","numeric-id":1854491,"id":"Q1854491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946627$3293B4C4-7AB7-4D33-8067-84CCAF71C28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b8ab75510e765dc4c2dd6c02071146f3a80d5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1277301,"id":"Q1277301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946627$14B1BDE0-6CFF-495C-8A03-D4563C115417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946627$E2FD79AC-E2F5-411D-BE3F-C5C26D20ADC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35fafbbe8209085733f3754bac7d6ba0f1c137cb","datavalue":{"value":{"time":"+2000-03-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":"Q4946627$CED69C65-4F13-4446-86CE-B8443EE80367","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946627$13BD983A-33B9-40F2-865A-631A896A4C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946627$4CC84B03-7281-4D6C-B6BC-306CD906E671","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1b1d41c87effe380439392e853e31ca30df2bcf","datavalue":{"value":"1422508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946627$65CC7575-ABEF-40E9-9461-A5C54DD55871","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"086ddc2e582ecc75bf73e9e40576e28161335446","datavalue":{"value":"algebraic equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946627$2FFA3B9F-B7F0-447D-9C08-65CDA512D06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9a62bfc2d9ed628769b21ef4fd2fe5e19d9d56c","datavalue":{"value":"functional equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946627$CB204671-6923-444F-A9EE-81D5AAC3F447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf63f0c3abd9625bc700c1f76cc600fb9d151a9b","datavalue":{"value":"simply-typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946627$FC2D6911-DB0D-4677-A1CF-B073F6C2E11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"107e092d7e2c5c15450193543a32de1651fb2951","datavalue":{"value":"algebraic operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946627$E5882C35-374A-4671-B4CE-000A7B62E676","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":"Q4946627$54157088-C2B5-4291-86F7-AA0F86D9AD34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6e28e198e7f0c2e2686b0d35dc61587ead36d3","datavalue":{"value":{"entity-type":"item","numeric-id":1283777,"id":"Q1283777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6d8d1abb074ca7c015f54ffc354bd94635883c","datavalue":{"value":{"amount":"+0.7815783619880676","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":"Q4946627$DCCC373B-0C89-4CA1-8A29-01A59356A032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c367f28e4f82ca6c68167e24f866e8bfa13b3048","datavalue":{"value":{"entity-type":"item","numeric-id":4649544,"id":"Q4649544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42143953570589cdf3e0d35429c09a7450299a2e","datavalue":{"value":{"amount":"+0.7795830368995667","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":"Q4946627$3ABCBCA0-E17E-4A71-8F9E-7FA1F7F435DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47c81d5d895c6268fdbf094a460d0fcf408f7af","datavalue":{"value":{"entity-type":"item","numeric-id":3142162,"id":"Q3142162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42143953570589cdf3e0d35429c09a7450299a2e","datavalue":{"value":{"amount":"+0.7795830368995667","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":"Q4946627$90EDE57D-5801-41CB-A923-B054B3F60A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eda5ba9d56b9dcb06e2d711df2637bbb083c8e8","datavalue":{"value":{"entity-type":"item","numeric-id":5971406,"id":"Q5971406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03a61f2e7460d560a924913a9ef02d0cef43211","datavalue":{"value":{"amount":"+0.7664873600006104","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":"Q4946627$351BB458-96CE-4764-BC87-803761647405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb04cffa79c10b94b46f43c3aaf14e7c6a69a84","datavalue":{"value":{"entity-type":"item","numeric-id":3024853,"id":"Q3024853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac991006a73bd48432e225b93a621227594096e4","datavalue":{"value":{"amount":"+0.761573851108551","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":"Q4946627$08F69D25-411E-4CA0-BEC4-69FAEA7C14AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4946627","badges":[]}}}}}