{"entities":{"Q4647562":{"pageid":6677143,"ns":120,"title":"Item:Q4647562","lastrevid":82241777,"modified":"2026-05-06T20:26:16Z","type":"item","id":"Q4647562","labels":{"en":{"language":"en","value":"Partitioning methods for satisfiability testing on large formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001950"}},"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":"Q4647562$3E2C45F8-1CD7-44F2-AFC1-17E7570E3FE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5920f31faa5d5c9ec6e12bd7f1bc2a102e60b3f8","datavalue":{"value":{"text":"Partitioning methods for satisfiability testing on large formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647562$E62889BC-33DB-4554-B3B5-166ACA5DBAA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6810b05b96c563ee592c1f808ad2806ab25515f2","datavalue":{"value":"1412.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647562$4EC35F24-A804-47C1-8793-E5694729A07C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33230f4bfb171cbc8cb039a8c52692169bc18421","datavalue":{"value":"10.1007/3-540-61511-3_126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647562$98577658-89B7-4A0F-B4DE-38384C48B50F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68caeb2e647f2a49c961e1a53c04fe0533742642","datavalue":{"value":{"entity-type":"item","numeric-id":1854376,"id":"Q1854376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$4A567163-47C5-4CB8-B136-19915E3DB917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$C91153FA-5C4A-4E96-9559-723CC369A71B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$9E516BF7-8617-4EE2-9BE2-6CE5576ECAAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647562$4049C283-65A4-4DDA-8AC1-6ECE7623A853","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647562$373F2E45-A55D-40F7-90BD-239097709860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647562$D92ABE69-323D-42ED-ADD7-083C23A2418A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647562$7575A494-0A92-4A3B-A268-DE33C8A3EB56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"097af35fd4733d5f219fda2f1b9c0e98eba81fa7","datavalue":{"value":"7001950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647562$A167E058-370E-4C78-9046-A01AFEC338C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$DF6DFEE5-2E01-4E96-8813-02F39A050538","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":"Q4647562$3FA3449E-C6A0-47C4-9FDD-D579C94B0976","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe44c8b09c2ca36c800e3e745a4bc04f31768943","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_126","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647562$33DEE3E4-6B80-4625-8AE8-AD9AC314E102","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eec758b079b84cc315468d14bdc83100589d5231","datavalue":{"value":"W1629106946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647562$1075E4E3-4942-4CD2-A8BB-EB59BFAD0205","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$27AD68DA-0D8F-4671-A443-E1ECA23D6D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$919E1258-3A41-40F1-A97E-282C6E474C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$5BA41A63-CF95-4123-A20A-2AA386D491CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55513ac0d8c3a56962aba277d470c4150e1c41d","datavalue":{"value":{"entity-type":"item","numeric-id":1803674,"id":"Q1803674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$6CAE5298-1F29-4A68-BFD6-FEB916E6AC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903be65f2ce4dfc9de2cb4616261a15d63aa1637","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$EF735A47-152C-4420-A881-610BADD53BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66420b49775113a4962c131a254f6f2ef559bdab","datavalue":{"value":{"entity-type":"item","numeric-id":82025,"id":"Q82025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$EB82BC45-39C4-4919-BE70-89A4E28C6F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a44f31abbdd4dc84e5f661896a7812e44411ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4100093,"id":"Q4100093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$05A06E36-9854-4146-AD07-594B91DB08F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1478273e0e33a79d374260ca5dc8c9927268f336","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647562$316DACDA-3906-4219-8641-ED0F00FD3740","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec90e595ec37f3c3a073ac6452ea4bfbe7c4220","datavalue":{"value":{"entity-type":"item","numeric-id":1854377,"id":"Q1854377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647562$E43342D0-751B-4339-865F-2AFFAA15F298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d988a44a99f79909548ed1bfb76da9cfaca66d91","datavalue":{"value":{"entity-type":"item","numeric-id":4251078,"id":"Q4251078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271d2c740bfb3ca2cf995998b7163bbe3f882028","datavalue":{"value":{"amount":"+0.8927293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647562$901E8B3B-E29F-46F2-A92E-42D33FBFFCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42bfcd7c99538f13f94bdcfe38328212eab1a212","datavalue":{"value":{"entity-type":"item","numeric-id":5939378,"id":"Q5939378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc8fad50e1e956c5d7a05f86521a8745ea3db50","datavalue":{"value":{"amount":"+0.88775384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647562$15EB3CB4-8D45-4A50-807B-0B546CB3AB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16429de774c6b049b28c66394996342ff571e43","datavalue":{"value":{"amount":"+0.8803239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647562$BC25F0B6-A9B8-4BDD-8E02-4EABB208F4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb3814261415aa774ea241f540f56609eb5a714","datavalue":{"value":{"entity-type":"item","numeric-id":3453241,"id":"Q3453241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67506d47a4abc59598c96eea51095e90f863b096","datavalue":{"value":{"amount":"+0.8774446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647562$926A5176-DB2E-49BF-A5C9-4A380D71E6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d667ba3690d6fbf0d534052921487ce35ebc418","datavalue":{"value":{"entity-type":"item","numeric-id":4933318,"id":"Q4933318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7d52d4b62165ae6176968d291f155ef0dd0964","datavalue":{"value":{"amount":"+0.87036175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647562$EBE3A6CF-A6AB-40A9-A649-8446D34CF4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617c47ba904acc210e7270c8207d15e18218734d","datavalue":{"value":{"entity-type":"item","numeric-id":931750,"id":"Q931750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35f3114d5199f95e0b79312259bcb1ece08357b","datavalue":{"value":{"amount":"+0.8686826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647562$5D125CBD-F173-414A-9E55-7FDBD1E984E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f038f77b20ad7e8769b155fb14d5cdc70099ce15","datavalue":{"value":{"entity-type":"item","numeric-id":5716899,"id":"Q5716899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bce59f1c7389c4c5ca9b54c28b9fb0e5fd46363","datavalue":{"value":{"amount":"+0.86731875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647562$54E1ADDC-78DA-4C78-AA0F-43579C7BA017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681d2e8ccf148fc2f1bc311b18a347fbf0400d49","datavalue":{"value":{"entity-type":"item","numeric-id":5153508,"id":"Q5153508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd3895af4a506b6ef2854dfef0733536b64f21be","datavalue":{"value":{"amount":"+0.86582327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647562$F16E0FF3-47C5-46B8-8EA0-CBCEA745729E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partitioning methods for satisfiability testing on large formulas (scientific article; zbMATH DE number 7001950)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partitioning_methods_for_satisfiability_testing_on_large_formulas_(scientific_article;_zbMATH_DE_number_7001950)"}}}}}