{"entities":{"Q751848":{"pageid":753697,"ns":120,"title":"Item:Q751848","lastrevid":64101888,"modified":"2026-04-11T17:39:30Z","type":"item","id":"Q751848","labels":{"en":{"language":"en","value":"Eliminating the substitution axiom from UNITY logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4178793"}},"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":"Q751848$E1BD37A3-3482-4DC6-9DEF-ED3D9D8CB82C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f43491694010a91855b5d68ec594d0b8aef5dcb0","datavalue":{"value":{"text":"Eliminating the substitution axiom from UNITY logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751848$6F7CEE84-15F1-4273-8B72-C06DF449A573","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee0dc6c1d63b8ebf86acbafe8eabf6805cbecf9e","datavalue":{"value":"0715.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751848$B8874237-D731-4832-BDFE-C33AB976D804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bc1e59ed1b35f1da3bc089b7098ae0c0bf28b85","datavalue":{"value":"10.1007/BF01898402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751848$81E10780-13E7-41F2-AE80-FEE40FC22A55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f026f4210344de1e950f088c725b08979f750e14","datavalue":{"value":{"entity-type":"item","numeric-id":751847,"id":"Q751847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751848$19C0146E-7BAA-4E29-B9A4-497A6EBFBB9C","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":"Q751848$854C2F92-3185-49EE-9027-8559BDB115B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q751848$124CF46C-85A4-4CE4-8271-9362653D2A06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751848$48DD204A-DA7C-4A46-8F34-17FA15897824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751848$8E2031EB-6F72-4186-9EA9-2DC65CDA0214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61c7718b82cdd6c32fef946bd72060d221c649b0","datavalue":{"value":"4178793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751848$D6B1888B-334E-46AC-A634-040ACEAA203B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3c3cfd7b2b6b18247e486e97c1965b74b18c9d6","datavalue":{"value":"substitution axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q751848$95DF8B88-4E81-404F-B4B6-AECF3D8B1ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3223f3c8a9d9dac9f9d196f1fa9d424beec96296","datavalue":{"value":"program composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q751848$AA12C571-AE14-403A-9DFB-AACFC68CB096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f89702f81bb443a3353ee5f0794cae6733ae9b5","datavalue":{"value":"UNITY","type":"string"},"datatype":"string"},"type":"statement","id":"Q751848$9BDFE18C-1D8D-4359-9214-63498C2D67E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q751848$0A89723A-D017-4984-82ED-E5E0D80EA6ED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751848$E4F84DA2-94B3-4C72-B305-7A068D87D06D","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":"Q751848$510A26CE-D519-4262-B4E1-A1A6DCB46F95","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"62053370fe98085655a1ef4ce87cdc7296c1d277","datavalue":{"value":"Q114693749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751848$FCBC024D-677D-4870-A40F-686FA9D967E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751848$A77B6126-829B-4C3F-9F9B-AA91E7AD3E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751848$EBEF210F-BC0C-4C8E-B311-47153DD2BC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751848$5C9E5152-9A5D-4BEB-879C-CC61FAE641C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751848$95E023DA-3E6B-4C0C-BB8F-57C102359A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b414fde67a0e9245e2e0e9897886004e2cf5aa8f","datavalue":{"value":{"entity-type":"item","numeric-id":909441,"id":"Q909441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751848$D42E885D-5756-4A53-9E65-949CB03382A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be41aca90c1e4a5e6559727d5ba87bc4fcef1b60","datavalue":{"value":{"entity-type":"item","numeric-id":1313738,"id":"Q1313738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea03f812c62bbfc048e9be64f2890393583a276","datavalue":{"value":{"amount":"+0.870648205280304","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":"Q751848$8A9F6684-DE0A-45F2-912E-C04FD765F731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc4167b85600303bf6a63862a75410108e3edd8","datavalue":{"value":{"entity-type":"item","numeric-id":4470520,"id":"Q4470520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311d5dc9df3eea3d04949569c9d914333642cdb3","datavalue":{"value":{"amount":"+0.8607186079025269","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":"Q751848$393ADBDD-3422-454A-A5FB-D3EDB8A3C740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1974503b6ffd090d949054e4f812d809156449b","datavalue":{"value":{"entity-type":"item","numeric-id":5096400,"id":"Q5096400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319df8e22f7ea8c1f3c9e4f80c64dca0564cf46e","datavalue":{"value":{"amount":"+0.8506078720092773","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":"Q751848$EAA640AA-B02F-4152-AB40-13EBBD596A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a506a732087cff0796b7307609577c09fa348b","datavalue":{"value":{"entity-type":"item","numeric-id":673960,"id":"Q673960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f1c5704fc4f119aca149556b2cbae2e0b65dc4","datavalue":{"value":{"amount":"+0.7388013601303101","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":"Q751848$7B55C4F3-CE7C-4313-BE0E-E10310A957DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fc009981673cfdd0978b12a2b73a1f0724f40d","datavalue":{"value":{"entity-type":"item","numeric-id":673907,"id":"Q673907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5273d9fe248524e3e87427b80a8c41a0c40ec621","datavalue":{"value":{"amount":"+0.7376788854598999","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":"Q751848$86B00D7E-71BB-44D6-B3E4-629DE06E44E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eliminating the substitution axiom from UNITY logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Eliminating_the_substitution_axiom_from_UNITY_logic"}}}}}