{"entities":{"Q493521":{"pageid":495288,"ns":120,"title":"Item:Q493521","lastrevid":62306463,"modified":"2026-04-11T05:11:53Z","type":"item","id":"Q493521","labels":{"en":{"language":"en","value":"Program equivalence by circular reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6478322"}},"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":"Q493521$6161AFCD-8C7D-45DC-A62A-9E6AE5EF362A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ad1ae9f51dbb78e34b96c7d78ce8b62d6293c99","datavalue":{"value":{"text":"Program equivalence by circular reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q493521$DFE1FB18-C2B3-4CCA-B6A1-44630502F0F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2dc13f088b564673fd93643b6d39accce050d6a","datavalue":{"value":"1319.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493521$0B0CA475-072A-4A28-822A-73969D216B84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$75F0F973-73E8-484B-827E-9BB94EE5B272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$C4B40E32-9DE8-4426-9E9E-0BCC0725E545","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":"Q493521$D329C031-4989-4CFD-90FB-E486BFBE1F61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa0fd3a1e10787fd7fed19a9229fc1e734a275a","datavalue":{"value":{"time":"+2015-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q493521$869BA3E1-00E3-47B3-AF1A-7BAD1B4B368D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493521$EA0BBF30-608E-4919-BF7F-EC3CDEEB1BE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf0e3b94541f92d358457f4a4396c2683b6f1389","datavalue":{"value":"6478322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493521$70E9C286-E5E0-45E4-AC9A-964D83767270","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q493521$8454C7B7-C80A-49C4-9C75-188C1F0E08EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q493521$CAE77528-D01B-4D01-8924-DF60274B6E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e89e688824c95e9fd48271daa4ca63aa66640d","datavalue":{"value":"language independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q493521$9BEC614F-69F5-45B2-B1DE-A816082CAB6C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$CEE89C03-7D89-4E9F-B926-83A98A624C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$113C5F37-994D-4A61-9B78-6E52446B87A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6bf5d182c03ad7eaae6ca4e9e19901e0a0522cf9","datavalue":{"value":{"entity-type":"item","numeric-id":40984,"id":"Q40984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$0953B4DD-6A35-45A7-8F6A-BC38DC5730E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$E919C098-251C-4EE9-A7F7-331FF2829CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$DCCDA209-7114-4B94-A4D5-CA9BB0237BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$1E0326B1-B39A-4281-A792-823E275B31F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bed14e207a3e5d28b264f36a84b777589c129ee7","datavalue":{"value":{"entity-type":"item","numeric-id":25011,"id":"Q25011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$CAE6EAE6-2599-4C3C-B4B8-C13C8548088F","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":"Q493521$F936EE70-16BA-4E1F-9CC2-5D34244C97E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"557e8afa43b2d1908753b6827d789f6810b3d55a","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0319-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q493521$67FA31F1-8DC1-48D0-A1F6-66103E95E884","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98d5ee1566c7c8913e3eb5ea18ab7de25c833b02","datavalue":{"value":"W1964110138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493521$07FAB891-A265-4600-A0ED-41F0BECBD8CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee6685fe8dbbede12d37438869704a92f8300b9","datavalue":{"value":{"entity-type":"item","numeric-id":510898,"id":"Q510898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$A4CCAC2A-6768-425A-80FD-ABBB699723C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e325afe0d0a4f89efaf4f25d32f0874451ea9378","datavalue":{"value":{"entity-type":"item","numeric-id":493521,"id":"Q493521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$868887BE-34F1-482E-B40A-B38A868A0906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80f8dd118b5b17b20a55804069560896538ee46","datavalue":{"value":{"entity-type":"item","numeric-id":507361,"id":"Q507361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$FFDFECCF-13B4-4322-A628-91AF067F614C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98855e5f63a687d22ad5b8fcf60eef7c9c99fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":938300,"id":"Q938300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$2623FF06-50CB-4DDA-BF4F-E9AA94DF1A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995a3a5c42994c6db5c9ecb05a842b528a1d92e3","datavalue":{"value":{"entity-type":"item","numeric-id":2891406,"id":"Q2891406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$236A2885-7478-4334-BCE6-8890781EC898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ed56ca71244e05aaac2bba4f51079d01410063","datavalue":{"value":{"entity-type":"item","numeric-id":5348916,"id":"Q5348916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$8C114D20-8CA4-4116-892C-4BD0C862CE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8e84233097140277b284dcf67324b3ae9eb585","datavalue":{"value":{"entity-type":"item","numeric-id":4813228,"id":"Q4813228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$09740920-A270-4C0D-9EC8-FAEB65332A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1032ac8dcdfdd5fb52810d5d96415ba95297eec4","datavalue":{"value":{"entity-type":"item","numeric-id":5716558,"id":"Q5716558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$D9BAE839-B348-4D27-BFAD-82D253880797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27cedab67572fe75ae4db5ab01694697189887e","datavalue":{"value":{"entity-type":"item","numeric-id":4812966,"id":"Q4812966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$6104E83B-1C0A-427F-9718-E9C890F1DD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee9d5f4efce57aad8d86642a198daf9ff288bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5387854,"id":"Q5387854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$FAFC6785-B9F9-4B1E-90C4-84A6A1B10838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2f99768ff1da949299cef13b498d5a9c3a16a","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$38028FC4-CB51-4637-8C7B-031603862365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c884171bba72c2b3f8a55330fd6748a3e548c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5432339,"id":"Q5432339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$CDF70B30-416A-4192-A7E4-073DB82D6D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$F90FEA90-0C14-4616-9078-BD932ABF8428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d64794bab5e453242923fdf7012c2074f72fd8","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$A03344AF-140A-4145-B642-B51CE1042BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bad7f5057e7864ee572ca3c11ad9a00080b514","datavalue":{"value":{"entity-type":"item","numeric-id":4647855,"id":"Q4647855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$E42ECEF7-AE83-4277-8494-C6F4F92AE900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd279fd4c7a0394f4ea68325874466262f973fa","datavalue":{"value":{"entity-type":"item","numeric-id":2999323,"id":"Q2999323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$D2FE9B42-ABB4-4DDF-9147-6854809F09B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493521$481DB04B-F318-489B-9659-625D54D4FB01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60929803eeccb272d19da54f3cfda212de360a2e","datavalue":{"value":"10.1007/S00165-014-0319-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493521$47DC0D91-0E60-46A5-A846-BE864C87B694","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b458980223d7931ddccb4b936e86dc5b8152c682","datavalue":{"value":{"entity-type":"item","numeric-id":510898,"id":"Q510898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c04c44c59d7ffde75b97106ce29122739ff3087","datavalue":{"value":{"amount":"+0.7597751617431641","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":"Q493521$AF7572B9-B45C-4700-A768-D47D7D8A3FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e475be0ffc34429b0bc25aad612959fb2631fe","datavalue":{"value":{"entity-type":"item","numeric-id":5402543,"id":"Q5402543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47dfdb54b3da3948355c52f1aef756869b8dd99d","datavalue":{"value":{"amount":"+0.7481405735015869","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":"Q493521$5A3B5791-22B2-4FF5-9BE8-4C2E4C9CB06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706976812f0a640546b1284aaabda239b722b38b","datavalue":{"value":{"entity-type":"item","numeric-id":4812966,"id":"Q4812966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f6be27c3a2052b9756ca563596f94f6bb5740c","datavalue":{"value":{"amount":"+0.7469089031219482","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":"Q493521$9DA12C2A-0099-4036-AD33-12D3DE7F2044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b463cbd7ac8ae1ddd4ac9671d236ff348a81224","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428e877119bed27efbde6d5cc8e62dba8c4ad884","datavalue":{"value":{"amount":"+0.7319164872169495","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":"Q493521$A5E29898-A41F-4CDA-A13C-BA17A6235872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da644fc535911241c85fc174784d19f18fb743ce","datavalue":{"value":{"entity-type":"item","numeric-id":456473,"id":"Q456473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec7355df706e7267e5087fb7fa5ca72a97c8f5b","datavalue":{"value":{"amount":"+0.7271893620491028","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":"Q493521$140447E9-A778-405D-903D-860431D93021","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program equivalence by circular reasoning","badges":[]}}}}}