{"entities":{"Q6535365":{"pageid":14146508,"ns":120,"title":"Item:Q6535365","lastrevid":57344262,"modified":"2026-03-30T14:07:39Z","type":"item","id":"Q6535365","labels":{"en":{"language":"en","value":"Propositional proof skeletons"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777312"}},"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":"Q6535365$26871725-A522-4849-B627-FCA0FA71D704","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cd8f67750fa0d57a207b8e1ab3a43ee65b9304a","datavalue":{"value":{"text":"Propositional proof skeletons","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535365$F0A8976F-3D23-4091-B5EC-81952758F9F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"437a1231813a4f7acf7e02472c677d4f738f69a9","datavalue":{"value":"1543.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535365$7A02B5E7-45ED-47B1-BDCC-B626651E0458","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a696f585d7381adad2b94f15772904f3b72e2bb5","datavalue":{"value":"10.1007/978-3-031-30823-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535365$7A7287E6-0D88-4A8C-A91C-64F02598E9FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c99de2327e2db3bbf1815a78361ba405d48bfd5b","datavalue":{"value":{"entity-type":"item","numeric-id":2104501,"id":"Q2104501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$C8E8F479-2519-42BB-AC8F-26B40FE63F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9afcc482ca2a503836b4b22d76e89c71dc77cae3","datavalue":{"value":{"entity-type":"item","numeric-id":6535364,"id":"Q6535364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$B2FE5667-7AE3-4AC8-9427-2405B47ED3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$C8D542CC-21FB-4D06-8D5A-520489E52C41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"370dd048328bd35e66746fcb16650fb884273700","datavalue":{"value":{"time":"+2023-12-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":"Q6535365$64BE96F5-DEF5-4B3E-ADCE-CD9982E4A8CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535365$44F07B01-84E7-4820-812B-DAD517F273D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535365$26BAEB58-263E-409D-B84C-968D96A9DAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535365$7FCD9ED7-A985-462F-B256-6E39E1932511","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c3ed24e8803ccba0234cec055df8c46a2024509","datavalue":{"value":"7777312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535365$6143C6C2-FB15-4C00-B16E-84A72FE89EC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535365$1AAAB2E6-D71B-4B75-82B4-99DB1D8033BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f8dd5c493bcfe457a2c05cd0b9ce65be151090","datavalue":{"value":"compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535365$F7947B25-4FF4-4FC5-898F-7E20BFC6F6C2","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":"Q6535365$F15CF764-A6C4-4D57-8E99-9F8428CBB32B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$3060F6CF-2E4B-4253-9359-5C7DE749BDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$7FA1BBC6-166C-4F5D-882F-88095C45F054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$A1531F8A-6BB6-4673-A242-B28093509A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$51C5B2AC-9FFB-4C5E-B46E-B9223DC4E30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a238202070e1e284de0d683f3fbaa805bd68cf62","datavalue":{"value":{"entity-type":"item","numeric-id":2181926,"id":"Q2181926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$4156FE15-79DE-4A67-8E41-386CDDC11DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d43182de98d159f0ebb543c5126e0ae385036ba","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$F98A55D3-17D2-4EC9-9B51-BC0049D86DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$ADFB79C9-AA26-4167-8714-8DF338E3F36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1951f16d4fe8a611f755a4887c35002e0149e28","datavalue":{"value":{"entity-type":"item","numeric-id":5919480,"id":"Q5919480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$096FD31C-D53B-4F6F-B684-8191BD7345C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$09FA945F-2CE2-4A5B-9320-7A860D54406C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4caf38d1ea0bcd43c14e944f03b1e72e20f485","datavalue":{"value":{"entity-type":"item","numeric-id":479815,"id":"Q479815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$F8136B7A-8D78-428B-9B43-C9380394D009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99741ea86af8e3fe4690d90c224835231a7ef4d","datavalue":{"value":{"entity-type":"item","numeric-id":2233509,"id":"Q2233509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$877EDA27-0C03-40BC-87D6-4397F05D33D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1a8094411c4c770dd370a45c2db874b8897938","datavalue":{"value":{"entity-type":"item","numeric-id":3066112,"id":"Q3066112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$95C328B2-FD0F-4DC8-88F0-493B568FD782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$CA12D0D4-B809-41E4-B67E-66F7FCB502D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1760c6c229968d3870db79feda73bcddcb78d92","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ae26bac471ae64c192b40c2a437c117b1edc56","datavalue":{"value":{"amount":"+0.8923532","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":"Q6535365$7F736DEA-8714-485E-8036-B8EC70EFCD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33dd1692066300adc39b389ed3ac46a189b10008","datavalue":{"value":{"entity-type":"item","numeric-id":3460074,"id":"Q3460074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7cfd39a7d2852f7cf7027f250301eb9d1cf02e","datavalue":{"value":{"amount":"+0.8826226","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":"Q6535365$4FE8298C-0ADA-4A49-ADC7-466183F329FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75afe7358ef5d3b3057d6c4a17a8bf85c8f5e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2849432,"id":"Q2849432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d833a71b5de6415f1849ace1023fcc7daf631d11","datavalue":{"value":{"amount":"+0.8695305","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":"Q6535365$9F638A76-21D0-448F-BB52-8C63D99D7609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff3df00c7f165081310916438d70b857cff5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cdd57fceefa3051f1efb159a9b71bcad88d421","datavalue":{"value":{"amount":"+0.86618775","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":"Q6535365$75146F09-8981-4F45-BD44-6E1EFB07DB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b5e864af35220a9fbb82752f02af6207c24712","datavalue":{"value":{"entity-type":"item","numeric-id":3541721,"id":"Q3541721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519613644b1486cf212107bb95722571c1f65c14","datavalue":{"value":{"amount":"+0.865027","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":"Q6535365$5B43508D-B31F-4B0B-90AA-0D01DDDF29FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e476e8b83f9585570206cefe1255d6663a8fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3745826,"id":"Q3745826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e26a05ad0ea32be8857e19317c4f84eede2334df","datavalue":{"value":{"amount":"+0.863297","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":"Q6535365$F27891FD-2581-4D4F-838D-075636277754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e8f7dde8ddc1ba8b3337a9b1e8195c4af75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5434510,"id":"Q5434510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc01b1d4bdd2a910661fe3efa849f1c60ed76bf6","datavalue":{"value":{"amount":"+0.862301","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":"Q6535365$FCF4F74B-D2A4-41C1-84AA-0AB8F6F9407D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd43aeb7e077e004a58f71e8c65c70e807b2737","datavalue":{"value":{"entity-type":"item","numeric-id":6060676,"id":"Q6060676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2ece33ac3fa87eab1d4acb501262ed7f258264","datavalue":{"value":{"amount":"+0.8621992","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":"Q6535365$775436B7-B796-4CAD-B49B-34F8ED22730A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb77b20fa4de5711f4f416c9214dcf22f700c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3476786,"id":"Q3476786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41da43af2bd189c514abe963674e14a45c0218ad","datavalue":{"value":{"amount":"+0.85962766","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":"Q6535365$6EB7553C-67E7-4493-8BD8-C689932E55BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6aa100b29d9cd12565a71aa0ff38bd358411e57","datavalue":{"value":{"entity-type":"item","numeric-id":1014285,"id":"Q1014285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b3e36c63d4f9e1f7c22fcd0294fda646666300","datavalue":{"value":{"amount":"+0.8594798","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":"Q6535365$27AE52EC-A948-4F22-9C54-BCE46E2534A0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535365$AABE17C1-07E5-4402-8709-D8BC55D19AAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535365","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535365"}}}}}