{"entities":{"Q1903086":{"pageid":1913828,"ns":120,"title":"Item:Q1903086","lastrevid":47374165,"modified":"2026-01-01T13:32:12Z","type":"item","id":"Q1903086","labels":{"en":{"language":"en","value":"A simplified form of condensed detachment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 823627"}},"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":"Q1903086$3AF94364-B1D4-4850-990B-BF2DACB51281","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c89033fa18f129178cd88602b176d31cff2975a","datavalue":{"value":{"text":"A simplified form of condensed detachment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1903086$BD9016B9-65BE-4334-8619-5A469E1D4D4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79b7386b0bbf55ed435c2ea255ebe3926b51a6f0","datavalue":{"value":"0837.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903086$950D93B5-D086-4C6C-9A75-D3B5EEF207C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8304e26690d24f9f6c0739c8f9fb4558fec666fd","datavalue":{"value":"10.1007/BF01048619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903086$F13A676E-1918-4EBE-B8C7-BF5FE0D75BB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903086$878A3EFA-8BFB-4295-A0F7-BF57BB8B73AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903086$7AD020CF-9249-4F78-9195-DE77609B1870","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae6bbe402fa411517b9e3e0f1a301dad51f71610","datavalue":{"value":{"time":"+1996-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1903086$EEA98373-F96F-4ADD-A379-8FBB3BE2FB00","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7babe7400add766ed4df521a136a721d8e7bedae","datavalue":{"value":"The paper gives an attempt to define some version of the condensed detachment rule which is independent of the concept ``most general unifier''. Proving the equivalence of the introduced concept and the traditional one, the author uses the assertion that applying nontrivial substitution will increase the number of variable occurrences or decrease the number of distinct variables. This assertion contradicts a substitution \\(\\{f(y)/x\\}\\), where \\(y\\) is a new variable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903086$8EADA5C5-3AE0-4EB1-8935-3B0FEDD2003A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903086$7CADAFB7-D86E-4B1E-BBE0-AD24BBCA7534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c969ffb8c41af6c467b9f739b6e960562f3dd1ae","datavalue":{"value":"823627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903086$0A89BBE5-39E8-42C3-B21D-F560F8645802","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903086$64F49FD8-27A4-4A15-AC7D-50E1DF9798CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7659bb8879fdc0319bd5c16763d4231270b7b686","datavalue":{"value":"condensed detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903086$15A3BBCE-2929-4614-BA74-2F358874C47E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903086$4C516953-FD3E-404B-A81F-434392145012","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":"Q1903086$E90F8353-C2D8-4F64-8D0A-1FA2A30CF395","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe3b02d54ba595ff22780f05fff04326cc851a3","datavalue":{"value":{"entity-type":"item","numeric-id":3489979,"id":"Q3489979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903086$8C87752D-63B4-4A8A-846D-77B7FA026BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22001403e9a3271b3d97ee75448b6ea0d87043d0","datavalue":{"value":{"entity-type":"item","numeric-id":3228599,"id":"Q3228599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903086$51076490-CB15-417F-BE56-A4994F892F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903086$E8945E54-99FA-40E0-9575-3DFAD76A65EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d14494744cd290e88cf2f081d96f88cbdfa1ad73","datavalue":{"value":"https://doi.org/10.1007/bf01048619","type":"string"},"datatype":"url"},"type":"statement","id":"Q1903086$60A7CF14-4E2A-4B95-A744-C5CD3EA24D98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"138440613442820890b0aa1ba7afe3e27f29a6e3","datavalue":{"value":"W2032880497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903086$7EFEF95F-97D4-4500-B2B4-D1C60AA6143B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e21d551ed4c80884fe63570495ef844d615f4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1060210,"id":"Q1060210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b32d5b1ae0f53d0a5fe028b251ffd7cdea4d32c","datavalue":{"value":{"amount":"+0.7857391238212585","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":"Q1903086$539F6FDB-8288-4231-A334-3E7583489C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4166e17fbdeeddb801569cb7c71ca9bef0cc5872","datavalue":{"value":{"entity-type":"item","numeric-id":1181717,"id":"Q1181717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feed865d6f14976a69292a93ed1a93ce0de33560","datavalue":{"value":{"amount":"+0.7246463298797607","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":"Q1903086$EF15948F-9359-4143-8B37-D59FBADDBB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a02bafe836cd0b9491400fe4965a117bf50b68","datavalue":{"value":{"entity-type":"item","numeric-id":4218026,"id":"Q4218026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3640eb413abef707b596a1329b06b18d15813d4e","datavalue":{"value":{"amount":"+0.705750048160553","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":"Q1903086$25FB97BB-9E76-4510-9F52-D686EDBF8804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32337f4f9983526df9e0468f6b8bff805af0954d","datavalue":{"value":{"entity-type":"item","numeric-id":799664,"id":"Q799664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaab4e0cc77aeedac563956809fa91454742ff6c","datavalue":{"value":{"amount":"+0.694869875907898","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":"Q1903086$102B1B1E-4322-448B-A4A3-05C50D1723AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583cc387579d8b1388da91d5884e4a8bcd29c814","datavalue":{"value":{"entity-type":"item","numeric-id":1202066,"id":"Q1202066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e31031fa26e97a4499c4c05072facac345fc45b","datavalue":{"value":{"amount":"+0.6909047961235046","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":"Q1903086$CBBB6B7C-BC9A-4172-9704-B91F65ED76E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1903086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1903086"}}}}}