{"entities":{"Q5757963":{"pageid":7787514,"ns":120,"title":"Item:Q5757963","lastrevid":50161022,"modified":"2026-01-13T07:43:36Z","type":"item","id":"Q5757963","labels":{"en":{"language":"en","value":"Improved Propositional Extension Rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5188874"}},"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":"Q5757963$E55470CB-4577-4D8F-9C8B-0DFD1DD370C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8a056f72aac116ed9010d81dbcb5a85b5e39baf","datavalue":{"value":{"text":"Improved Propositional Extension Rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5757963$92E37CF2-B8F7-4CD0-9416-98AA37E2D15F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d9f1d52e14d8646155069d896c745c8886e7f33","datavalue":{"value":"1196.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757963$794007AB-938C-42B2-BD0D-ABBD51C08FB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ca79b694f7b3a77748bf69d225f2d38cc30ffd0","datavalue":{"value":"10.1007/11795131_86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757963$A5EEBF1A-3674-4F1E-8ECE-86A128BC543E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fa71f78eb7058118bfb0e88f2b7294ec3f871e0","datavalue":{"value":{"entity-type":"item","numeric-id":400795,"id":"Q400795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757963$E70A0561-705A-46AA-A004-C219C823D239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d18de0302c7095668f6fb0ebd7f3342db59a1a","datavalue":{"value":{"entity-type":"item","numeric-id":975445,"id":"Q975445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757963$C1938CE6-2FBB-4ACC-9616-207E13796C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6dfe66d7774bbd7d6db4c273f5ffc7b40ca1b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1015312,"id":"Q1015312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757963$5524CE82-EFC6-4AEB-A9F9-2485C889DEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"403d2929a0c5e8e793a7ae0cf47c86fc1ddfc79c","datavalue":{"value":{"entity-type":"item","numeric-id":256885,"id":"Q256885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757963$E9FD4294-F1DD-4EA1-B659-6BFB76828CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd0a0a1992cc822926855187e608676e62df4a5","datavalue":{"value":{"entity-type":"item","numeric-id":501020,"id":"Q501020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757963$A67B7B39-D14A-4C7D-B300-7C77FD3D88F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"548ee01e6e2557dd86cf6bf3cb9bb8e81c8401fd","datavalue":{"value":{"entity-type":"item","numeric-id":247886,"id":"Q247886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757963$73329E65-0C8B-4949-A28C-9BFCDD2E9BA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47819bfac220f5dbb750a5e6679dc9a72a3d703c","datavalue":{"value":{"entity-type":"item","numeric-id":2949595,"id":"Q2949595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757963$3DA77BA2-2A77-4FCA-9029-939F005DD708","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a0f126e0f773412df6fca1aea3308e338ba6e0c","datavalue":{"value":{"time":"+2007-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5757963$08C022A9-99EF-4483-8461-971725DBCF23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757963$02143A51-9ACB-4E18-B6FD-022BBC6F5A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757963$433D02AF-8899-4C85-948B-0323EBC5FFF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b7eb70377a59f4c1fd9be38179853e6dc8c85d6","datavalue":{"value":"5188874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757963$6DDE8485-C8CF-4F7B-B028-67F55976A4B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237e8c5bb4544a0089e95d6d6d6fabc8121c940c","datavalue":{"value":"Extension rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5757963$64D136CE-32A7-4C01-961E-763EF3E81B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5757963$830C7190-B907-4CAE-A183-A3D1799F61E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"349654b467a762a1f9ed9bd1fadba6d3a39ef575","datavalue":{"value":"reduced rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5757963$25122A20-AE32-457A-ACC4-769614A8B2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5757963$A346AE08-FB57-4F51-893C-81F6E7F376D6","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":"Q5757963$AAE8063A-78F2-417F-8286-79D1E7F61311","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fb40dd57a8f06341c35d79d19c98605bab7037d","datavalue":{"value":"https://doi.org/10.1007/11795131_86","type":"string"},"datatype":"url"},"type":"statement","id":"Q5757963$6B36ED48-6AAF-4634-B734-D92ACA98573C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ff5ab5033083d01c225be0f86758528b1708ec4","datavalue":{"value":"W1509773422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757963$02F0A472-40CE-4131-B3E8-CED156009A68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cdf05f5cb0a9d8fa549fa80f57f25e99f257336","datavalue":{"value":{"entity-type":"item","numeric-id":3054228,"id":"Q3054228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600ad58e46a6a6490bff334d8c88c5457fcd156c","datavalue":{"value":{"amount":"+0.8171699643135071","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":"Q5757963$EF4993EB-7F7B-4F57-9368-EE07A6D1DB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8e779d38f59f17c27d5a271ccaf92826d30698","datavalue":{"value":{"entity-type":"item","numeric-id":1431338,"id":"Q1431338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29136f18288d01c5d1f8449d5cf742d0ebd4513a","datavalue":{"value":{"amount":"+0.7932295203208923","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":"Q5757963$02B1F47D-3392-456B-A0B5-9537B01AAE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d81fd0587313022d6a197c541e12c9877f062f","datavalue":{"value":{"entity-type":"item","numeric-id":2993255,"id":"Q2993255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373214d8a4a202edb64eb62fe5b4f28a5d508c8e","datavalue":{"value":{"amount":"+0.7767938375473022","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":"Q5757963$74FAF1AF-4134-4518-8E36-E17C41A2B0F2","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":"8ecb8413b8fbd65d90119507e4211b265c2f81e5","datavalue":{"value":{"amount":"+0.7316597700119019","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":"Q5757963$44A9A1F3-BEA0-47B7-A4DB-B20750749477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c365ae4452123ae097251f5b3c1589e5b0b2b3dd","datavalue":{"value":{"entity-type":"item","numeric-id":4375764,"id":"Q4375764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416aa31874fdbcbbc91dd1ba1ee1c3e885716860","datavalue":{"value":{"amount":"+0.7086398601531982","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":"Q5757963$7C254C56-0654-4679-A229-5BDAD06020A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5757963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5757963"}}}}}