{"entities":{"Q2457688":{"pageid":2468431,"ns":120,"title":"Item:Q2457688","lastrevid":73288971,"modified":"2026-04-14T15:17:24Z","type":"item","id":"Q2457688","labels":{"en":{"language":"en","value":"Partition-based logical reasoning for first-order and propositional theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5203844"}},"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":"Q2457688$E9EADA68-B5CB-4149-A42E-04BB0AEBC7A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9c13cbb2cad61ada9c0a1a5f6ea6de16ed90a56","datavalue":{"value":{"text":"Partition-based logical reasoning for first-order and propositional theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2457688$D80FB3C9-3ED1-4F8F-8CFF-95CF79A17AC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8103d4bfe4d9ec3fdea2be3bf1b15581addf967","datavalue":{"value":"1132.68672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457688$768635EE-F56F-4AF3-B46F-AD3E2BD1FBED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8270aeff3b090524a336c3cfc48f20d7a08fb3","datavalue":{"value":{"entity-type":"item","numeric-id":543590,"id":"Q543590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$B3F452DD-83CC-4D21-A653-C7FB945A1610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf57a15e60aa9dd2d720b1ac8f7cc15a99ffa6c0","datavalue":{"value":{"entity-type":"item","numeric-id":543572,"id":"Q543572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$0DFB0496-5E33-4322-89FE-730B0225830E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$74DC1837-D429-40F1-851C-7233D9E8D480","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92f17929f5a72155ae3100d6d6310726eec0e95","datavalue":{"value":{"time":"+2007-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2457688$4C3F200D-E196-4EE9-B6C9-C5D0BEC7D06D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457688$07AEAF87-B0E6-4A8E-942F-83F44974B5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457688$1A9E48C9-CCB0-4C36-ACA5-7502D1503797","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b92aa808185adcdf94cc66d3795da31d48520886","datavalue":{"value":"5203844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457688$89560F73-4199-414C-8703-40B0A4309C92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d55cfc35e8ca1ca93bcf515062ca23643e21a21","datavalue":{"value":"reasoning with structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457688$FB89501D-6067-4DF4-A55C-2BCFFDB29B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457688$239A9391-6394-404F-95CC-FE01EDAB124C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457688$FE16633A-AB3E-4A82-88DF-43A3EF16FAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457688$13F9844B-59D0-457E-8370-254B7E5AAB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1e625afea5b1a633df9fe58ad43c2d03e075ec","datavalue":{"value":"tree decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457688$FB8CBEE3-44F5-4856-A389-7EE4007C1CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b658347034dcc71cca4d23b4941e06677c88619e","datavalue":{"value":"graphical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457688$59914656-A2EF-47A7-B5E2-ED2699E57070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431ad0527b194c43bf7b26fc7f3a3705c49e72a4","datavalue":{"value":"parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457688$F8C7F1D4-3FE5-4BB3-9585-8532478D03EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041699064e257232dfa745879e8d1649fa7ea2e3","datavalue":{"value":"distributed computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457688$6E443339-5635-4FB7-A703-D880EEDFB95A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25ad95c9ef24ef7056a03fa9237878c8c0fa2aa9","datavalue":{"value":{"entity-type":"item","numeric-id":38038,"id":"Q38038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$8C42B87B-181B-41D8-A203-22B8FAA0390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7745ffa4181d06b533bd75c4e1b8ede6b3bb3829","datavalue":{"value":{"entity-type":"item","numeric-id":14622,"id":"Q14622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$95596036-A3B3-4854-9EAC-E28B8779BEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec71eb40561760c4acc184eae1f405ef35bdab4a","datavalue":{"value":{"entity-type":"item","numeric-id":33368,"id":"Q33368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$F8F8B34E-66F5-4029-95BC-6A14ACE87BC3","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":"Q2457688$A027CA78-34F1-46DF-8C83-1AA6AE8C0DC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d57056c690a30befe9730dd8d973423d2dbe5d5","datavalue":{"value":"https://doi.org/10.1016/j.artint.2004.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2457688$0933BFCD-FE89-4446-9B45-2079A3223CE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2455ae55300a853cc89573ef5b698bf4b4327b7a","datavalue":{"value":"W1971508608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457688$619D517D-B6D5-4E57-ABB5-10F2474EFE0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fc9460d7e20e4132467e5c13e934b0413c38ef","datavalue":{"value":{"entity-type":"item","numeric-id":5202489,"id":"Q5202489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$20DD5715-45A5-440E-9BD4-630F25D9AD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91566fa9e71c4b73b8746f4750b8403f5f91a152","datavalue":{"value":{"entity-type":"item","numeric-id":2741534,"id":"Q2741534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$7F13FE3D-F259-4460-896F-E6BD444C06ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924e802243b4f51c1822e67211b88d08172a8079","datavalue":{"value":{"entity-type":"item","numeric-id":1062758,"id":"Q1062758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$5C023931-BB29-4788-838B-FBFBE382981C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2982208fc0f6ac8534792493830a65f91c11f47","datavalue":{"value":{"entity-type":"item","numeric-id":4264733,"id":"Q4264733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$C179B2D6-7354-48DD-8672-BF4F404D3B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc306d925aa397e2109f947c63168004da83763","datavalue":{"value":{"entity-type":"item","numeric-id":4488089,"id":"Q4488089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$900C5A43-9CFF-4132-9C23-60527FFB8A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc25cbb648141cd33a4375961d870b7b0931a00","datavalue":{"value":{"entity-type":"item","numeric-id":2536444,"id":"Q2536444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$7E414F72-2E64-43E8-A56D-A97C98E7A11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b87d4d660be017ed3a655c9578140dd400c43c7","datavalue":{"value":{"entity-type":"item","numeric-id":4385519,"id":"Q4385519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$F118A6DD-0EDC-48FB-A0CF-E4F3B7FDC936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987535b4cf569317f73e58b0e19113981066163","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$8689C258-DEC4-4EBB-8E31-DA7FDBDF8E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a064c24e33fdb6013bc5a8a7ffdbe6ad695be319","datavalue":{"value":{"entity-type":"item","numeric-id":674415,"id":"Q674415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$15F5EF3F-43E4-495B-B13D-260B054C41E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$62C41CA8-991F-4156-904D-FD0982E288A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5036e4b1ac3c0bcc766679cf51fa757d2c361848","datavalue":{"value":{"entity-type":"item","numeric-id":1386767,"id":"Q1386767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$1DA4EC48-4352-4366-ABC9-EBDD8D62B67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$FE6D96A9-408B-40F8-A333-36CB6B7CB92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49137691824945c51834ac0aff25cba97a110d4","datavalue":{"value":{"entity-type":"item","numeric-id":1317978,"id":"Q1317978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$D74A0B53-1DD8-4416-AED5-EC14D9B85F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715a321cfec84df9fa9f2ee50c176f70cf073ba7","datavalue":{"value":{"entity-type":"item","numeric-id":1059063,"id":"Q1059063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$15DD542F-86BC-4B3D-8BE3-1B29535B52E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$301894EB-6BFF-4ED1-81BC-DA20EA7EF5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$9CA4F48F-E39E-46A2-9676-A0980432AA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca10486b80ebf583619ab57d40a88f2aa5618c4","datavalue":{"value":{"entity-type":"item","numeric-id":3236250,"id":"Q3236250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$6B8363A1-5CF4-4185-AEBA-3B5AED589376","rank":"normal"},{"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":"Q2457688$8B7F0C61-F71A-4488-9D1F-AA37DAA3ED25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432968c8f392cf725dee38368ff9522a930243e9","datavalue":{"value":{"entity-type":"item","numeric-id":5940780,"id":"Q5940780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$BD1209A8-33D5-49CB-A22E-EEC088165472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5bdfe9e8ce1cefa466590964d38f16789200ff","datavalue":{"value":{"entity-type":"item","numeric-id":1116363,"id":"Q1116363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$3AF5BBE4-B811-4718-B7B3-7E65C2B2A114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c875a7774532fef6b147ae10ba0e0b34b83078f9","datavalue":{"value":{"entity-type":"item","numeric-id":4524781,"id":"Q4524781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$0E096CBC-F966-454B-A384-E66B9745EE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854bf29386092635a477e0881f3f0c76f5ed2664","datavalue":{"value":{"entity-type":"item","numeric-id":5624995,"id":"Q5624995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$2B75708D-325A-4D7E-A20A-89D81B559B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba406e7f3aac0ee55dd147add9d806535b268eb","datavalue":{"value":{"entity-type":"item","numeric-id":4285787,"id":"Q4285787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$174387B0-2129-43D5-BD5B-8E9EC1F2DBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6475e08343284998f3b22437e640611b995b40","datavalue":{"value":{"entity-type":"item","numeric-id":4068762,"id":"Q4068762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$18720510-49D0-42F5-95DA-618C5D1FFACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb6d330b0ba17ea9706ff485bd2cc7e5caf6771","datavalue":{"value":{"entity-type":"item","numeric-id":3883524,"id":"Q3883524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$8A61A54F-AE4B-481D-AFDB-DA39FD31AE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8938235e226586e0d42dc09ecbb90514ca80ee6","datavalue":{"value":{"entity-type":"item","numeric-id":4094634,"id":"Q4094634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$47D0D2B5-CAC0-4038-A586-F4FAB1F85CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f8d66ebb056cc96947876583ee99b7594f3146","datavalue":{"value":{"entity-type":"item","numeric-id":5470837,"id":"Q5470837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$03096522-005E-4C29-AA95-F708C21726E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb2ca458acea0e3632727170dcd237e7765fa59","datavalue":{"value":{"entity-type":"item","numeric-id":5514188,"id":"Q5514188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$EABCC057-38B7-4FEB-A68E-1FB8969052B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5611a6f60e59f1388392174f8631ce9b0f98d8","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$8E213A66-3079-4A78-9205-A53F6AC90FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6252a7b79ddc14884dfd6e07f40d791a821d4502","datavalue":{"value":{"entity-type":"item","numeric-id":4835369,"id":"Q4835369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$BBDD42F5-DB18-4ADC-89AB-4ADBFE7155B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c925fe735c46759427f41d717bbf94e5f6fe53","datavalue":{"value":{"entity-type":"item","numeric-id":3812009,"id":"Q3812009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$19E8A5C9-468E-430C-9279-A2116D5B8792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd560b5c3701de250d9304ce530d163a8c6d903a","datavalue":{"value":{"entity-type":"item","numeric-id":1589639,"id":"Q1589639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$65685CA3-457E-44C2-AB0D-09B700B3EEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$98E852DD-E0C2-4501-A365-E6DB8E790808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac78d6346f739f6266b5a8445a0ccb15bfa61032","datavalue":{"value":{"entity-type":"item","numeric-id":1199916,"id":"Q1199916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$5DA47ED9-5285-4349-9E9E-DA45EFF936F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c6891768e8dfe68f7ea477756074da695a5239b","datavalue":{"value":{"entity-type":"item","numeric-id":5248539,"id":"Q5248539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$7FAACD64-20EB-43BD-B7D6-8A27082AFF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a0d4c2b83e2d1c052c87c581c72cdba8da38e3","datavalue":{"value":{"entity-type":"item","numeric-id":1338451,"id":"Q1338451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$AEB7C5EB-D550-46BC-980E-E98ECE6A239F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6226f3c7f5c7f0657e24beeb28427e47a8ee3170","datavalue":{"value":{"entity-type":"item","numeric-id":4934810,"id":"Q4934810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$05F94259-A2C4-4049-BC04-69BC425DBE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$E4469149-4741-4796-A902-25BE1BD99947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc5f4cef646ae493cf6a16e5bcb5f7e70f9a3ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4734791,"id":"Q4734791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$DE11A14C-FBBE-4653-93EE-53270028E8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b7a1d134a856bc125567aa80d7392f42d01ae3","datavalue":{"value":{"entity-type":"item","numeric-id":3706525,"id":"Q3706525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$18C101C5-4C16-46C2-B888-7E79F5538C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$4DF7BD0E-26C4-4CE1-B02F-06A47814975E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0168a65029115234648e45982e971874d223316","datavalue":{"value":{"entity-type":"item","numeric-id":2752124,"id":"Q2752124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$3F0000C6-1985-4548-BE0A-3F2EAF7DFE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7823c49fcade33156ca5f25002786dbc9f69b5","datavalue":{"value":{"entity-type":"item","numeric-id":4511287,"id":"Q4511287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$E8E53DE3-3B59-4C2A-9CD6-CE0938C13E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6a0ac8d28dd200088519fb914ea78bd50eb1e9","datavalue":{"value":{"entity-type":"item","numeric-id":2557565,"id":"Q2557565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$1037D9C1-1266-4460-9027-07788F54C480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$0BACAD7F-F937-4DC1-B160-166CD73BAE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d58879c25e65f045e9f60e642c1b823d51c5aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4647562,"id":"Q4647562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$486E3C31-3309-4CF5-87F4-934E52272761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446632995204e3b2b92d723af23be59eb4150423","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$484043DD-D531-4AAC-8BDC-039996236612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2f566c3aa3f3fc022c74eb1a7ac1442e73983a","datavalue":{"value":{"entity-type":"item","numeric-id":4385440,"id":"Q4385440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$67F68623-F2E3-4B75-952A-BC00DF89570E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b072a827eea1e8c611d3a9f2da6877a619604","datavalue":{"value":{"entity-type":"item","numeric-id":1977760,"id":"Q1977760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$BF093736-AC10-4AB5-B9BA-715E7E07AB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6760c1a0ed84f473ebf9c19dbb4d05bbf42b9a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3751592,"id":"Q3751592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$37224FD3-153A-45B5-BE77-110E18F0B7C8","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":"Q2457688$1AB7BCD6-4C94-4345-BE79-68F0573423FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2398065202f3b8392da467e985db897681401576","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$5B93E7EE-11ED-4F84-AF07-36811B880162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacdf54289dae3c00820e76c797ca37f39e3d91b","datavalue":{"value":{"entity-type":"item","numeric-id":1356197,"id":"Q1356197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$CBF50F2B-63A4-4B51-B012-5CF5ADD01AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d23d752af51468669438a65727e2f56ea73491","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$08808EC7-FEDF-4A82-ADAD-87C33C1777C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8319ea01913631b33d4deb6f521e1d332e592c27","datavalue":{"value":{"entity-type":"item","numeric-id":5596256,"id":"Q5596256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$774D4000-4C3B-4EA1-883B-651F2B652070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da36e29873f6436a847324e09e33ec26ef360e7","datavalue":{"value":{"entity-type":"item","numeric-id":4385441,"id":"Q4385441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$848C643B-7928-4BBC-A8D1-6FB408828704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9808046a6f8fa62d1a453b12f211b7893e78bc6","datavalue":{"value":{"entity-type":"item","numeric-id":1199932,"id":"Q1199932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$30CAA1BD-09EA-4E09-9205-D5CA88A0945C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6866f585cfa776b9fccf0895bf6dd97331fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$CB5FD953-B866-471F-B966-34A4F816665D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0310c8a02d9b77ac6c2159196f8145e74a06a52","datavalue":{"value":{"entity-type":"item","numeric-id":5608769,"id":"Q5608769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$1E7409D8-8E94-43F1-8929-EF04C70F92BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457688$2E1E9B93-2051-46B2-8A93-A8632629FEF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b6352345e841e6269c9d30a14715a611bfafc95","datavalue":{"value":"10.1016/J.ARTINT.2004.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457688$5CF006FC-0701-4972-9470-8473C860828E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3311652fe92e5ba370f500a00cecb831d1807a94","datavalue":{"value":{"entity-type":"item","numeric-id":4536729,"id":"Q4536729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efccff655cf8f0117eae5cadda7610dd916e6094","datavalue":{"value":{"amount":"+0.8014969229698181","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":"Q2457688$B645EE87-4D82-4E33-B807-BAAB3DA93BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1608b1011ce1125d349710521fd6deeed743cc55","datavalue":{"value":{"entity-type":"item","numeric-id":5394152,"id":"Q5394152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bbc5b4ebbb9f0ffc71bb5700b1826f52ebd2576","datavalue":{"value":{"amount":"+0.752330482006073","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":"Q2457688$A09166AB-E3AF-4766-A874-815830119FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4497b5e79797d916cf2b8c87247662ad456c527","datavalue":{"value":{"entity-type":"item","numeric-id":2741534,"id":"Q2741534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6372f7894da17e212d80850518f4ef3fa93703e8","datavalue":{"value":{"amount":"+0.7361662983894348","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":"Q2457688$6FBBF234-FBC7-4E2D-AF36-EACC05514FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c940193c7d4ca81c70f416319edd3702e916d","datavalue":{"value":{"entity-type":"item","numeric-id":1309900,"id":"Q1309900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec30f59ed5d90c60a0bdbcb4273137fe78fe6fd","datavalue":{"value":{"amount":"+0.7133170366287231","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":"Q2457688$56DCE1CB-A613-4664-8B8B-0BC936984C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116d1b4c68a6bdb5e49a5cb3d7246328791889cc","datavalue":{"value":{"entity-type":"item","numeric-id":4286533,"id":"Q4286533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8dab8ab9a5cdc4f504f04d20c6c22607f1c3f1a","datavalue":{"value":{"amount":"+0.7133169770240784","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":"Q2457688$98EE0A15-1B0D-4DD9-A9C3-4320E9ADC858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partition-based logical reasoning for first-order and propositional theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partition-based_logical_reasoning_for_first-order_and_propositional_theories"}}}}}