{"entities":{"Q2405255":{"pageid":2415998,"ns":120,"title":"Item:Q2405255","lastrevid":44032614,"modified":"2025-11-19T04:56:14Z","type":"item","id":"Q2405255","labels":{"en":{"language":"en","value":"A unifying principle for clause elimination in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778409"}},"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":"Q2405255$0B90C1AB-C7E8-4CA7-B6C1-086E6821EC4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e59c90fb00dcd33aa1446d81d6ee46ad068782ee","datavalue":{"value":{"text":"A unifying principle for clause elimination in first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405255$3DE81926-EF98-4E2B-B0A4-1DB5AE9F6798","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02f31caadf53b40c6acf0700262fca20d77e40c7","datavalue":{"value":"1496.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405255$6DD8BDFC-E320-4A6E-B6BB-3F01AB3FBB60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"871c2954f5511c73005a2c297770c734fd617b91","datavalue":{"value":"10.1007/978-3-319-63046-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405255$628DC472-A12A-491B-B2CC-050BDC789A30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f58cb4392b797c6a9cd32772df8b3616c15ce","datavalue":{"value":{"entity-type":"item","numeric-id":1680259,"id":"Q1680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405255$2F2E6F56-E9B3-40D1-831B-4393D8D46913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5493ce657ff2c3e3dc02ab18ea0d14e2e4a6291d","datavalue":{"value":{"entity-type":"item","numeric-id":748757,"id":"Q748757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405255$FB3CF216-F580-42FC-A4D1-AEC009299CE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405255$C7AC5A7E-0126-4EBB-9C1A-41881049EE69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb4f0ed6db5d0c88c8a7d82f14e20a01c1ba92dc","datavalue":{"value":"http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3321","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405255$E46E58EB-F240-421D-95D0-CB12ACF44F51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405255$292627C0-819C-4663-966C-BFAA6A806F16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a962d7034695d6459fec50b30c23f4e62b7a316","datavalue":{"value":"6778409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405255$6F41978A-24D0-4391-8BB3-3B86E48A65F9","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":"Q2405255$ED8C89E5-B81A-425D-B8AC-168A6828B89F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11d9edf39f8cb003b5ebc1f1f407287972a784e8","datavalue":{"value":"W2735126037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405255$673E73EC-3C7A-4903-81BD-983AD55B5CA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"549b9e28b5019c300f5c4b14bd9068fe844a6300","datavalue":{"value":{"entity-type":"item","numeric-id":5128050,"id":"Q5128050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c277e57bb10a8ac46936343ba2ffe5841105b9de","datavalue":{"value":{"amount":"+0.97035027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405255$B578C639-DF68-49A6-BDC8-0395796A5499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2eb074edb079cee991e695dd0ad4ded7c688cc8","datavalue":{"value":{"entity-type":"item","numeric-id":4012176,"id":"Q4012176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a7d6196a627a3d72820652afab2416c6781746","datavalue":{"value":{"amount":"+0.88331676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405255$EE91E5E5-D5B6-4D60-BDF1-6494874E2907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e7d4f963e6140eee104f8bc9927781326d99f0","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f58e338a4afd7ad0ec9e011047988f6e224f959","datavalue":{"value":{"amount":"+0.8784026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405255$A67E48CD-47D0-48E0-A1BE-A0582A2E15D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abede1ff1a0be2900336d947290c1b6d50095efc","datavalue":{"value":{"entity-type":"item","numeric-id":2457341,"id":"Q2457341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a163abe8f26a723d6f688705491a9a7be01850","datavalue":{"value":{"amount":"+0.8674127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405255$46DA94EF-18AE-4B22-BB3C-4B8E92665CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9802e8e091a110467094e11a81c45123341e4867","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae11e59db274c7978d95ed20d2d51e16db496c3","datavalue":{"value":{"amount":"+0.8629534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405255$3B0B0D77-9EA2-409B-9E9E-855C05D58800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4418053e795a7f2fd48d66bea18b47267bbc9cb0","datavalue":{"value":{"entity-type":"item","numeric-id":2818027,"id":"Q2818027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e98172963dfe0eb3fba7c1923bf6de1c4170265","datavalue":{"value":{"amount":"+0.8629343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405255$D62932B5-12B3-4612-82FB-313696E3F23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5179163c08a214e80029dc628819449a2b1261","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c501ffdd2492503bf04d778874504e6dc51f4a7","datavalue":{"value":{"amount":"+0.8624677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405255$53AF7009-3B17-47D1-AD50-73AEA322A51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262cee6a0be04917e8b2aa10f7c3d46b849f70c9","datavalue":{"value":{"entity-type":"item","numeric-id":4503913,"id":"Q4503913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd05730d9aaf67c28edde22739d19ca7b6adac4","datavalue":{"value":{"amount":"+0.8571095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405255$82A59728-9B0A-472E-A8AF-A0E649E99368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a275a3ef2b207469a2d15d34b603cdd3bad6ef59","datavalue":{"value":{"entity-type":"item","numeric-id":2367410,"id":"Q2367410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41f7606cecaff33b384958912d5285d28b67969","datavalue":{"value":{"amount":"+0.85534877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405255$756B051A-4462-4689-85AB-5394AC6D4DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bbe7b05b504353157065776216c7d10590706b","datavalue":{"value":{"entity-type":"item","numeric-id":5267436,"id":"Q5267436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420fe0fbcc8011d0c6b0d0d4515c47dce10d1b95","datavalue":{"value":{"amount":"+0.8553324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405255$E149D907-857C-4316-9A45-3451CABC7C91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2405255"}}}}}