{"entities":{"Q5506695":{"pageid":7536255,"ns":120,"title":"Item:Q5506695","lastrevid":92530760,"modified":"2026-06-05T01:56:15Z","type":"item","id":"Q5506695","labels":{"en":{"language":"en","value":"Decomposing Quantified Conjunctive (or Disjunctive) Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6662677"}},"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":"Q5506695$3F95AD1C-F142-4016-925B-523A5DC208BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"928973448cbd344557917e1135446c7598118e45","datavalue":{"value":{"text":"Decomposing Quantified Conjunctive (or Disjunctive) Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5506695$CC8FFB88-223E-4F9A-ADF4-CCD3EB56207E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57821677b53ffea69fbc20bc1449a9826191d7a9","datavalue":{"value":"1355.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506695$D8E98269-3C62-4810-83CB-E88D9BCCC709","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"923d467e1d7cfe76ae390a768542f0560ca0b60e","datavalue":{"value":"10.1137/140957378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506695$6F2D9341-05C4-4B64-82D9-D3666ACD60AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de68fabe0331b50e2c0babeac4b29f27d03cc1ad","datavalue":{"value":{"entity-type":"item","numeric-id":361801,"id":"Q361801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$A47B10C1-14D8-4787-8CA5-E6FEF57F491A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"319700af99dc30ce70fcb247892338a79014dcb8","datavalue":{"value":{"entity-type":"item","numeric-id":5506694,"id":"Q5506694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$CECDFD57-05A9-4E37-971A-C2DB216CC2DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$E1DDC6EC-17C7-42F8-B009-8331F5618441","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e2d6781062390eee398cf4c8f5b0e19817cc132","datavalue":{"value":{"time":"+2016-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":"Q5506695$EAC0691A-1805-4611-8580-3D5C3CEC4070","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8064fba22d9ba8702102e15bce4c70209e3cf94","datavalue":{"value":"https://eprints.bbk.ac.uk/id/eprint/22144/1/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5506695$7CA492EB-CAAD-4531-AD3C-9C9BBB0E5B5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506695$1CDBA157-5768-45FA-AE75-127FBB654893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506695$A07C26F8-1604-4F27-8F59-81B05CE644BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506695$620565F2-7FDF-4CA5-ABA2-C561E23EC4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506695$E9ED4DBC-3661-450B-A6F0-FEECAB1DA7DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b77cbc0ef61782660e38152f3f0dd7fa046db8c1","datavalue":{"value":"6662677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506695$1A990998-3117-4262-B2EF-5F0F89CE33AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36f1ebd4b413215b6da9781dbed9cd14eb88a395","datavalue":{"value":"quantified formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506695$DC9702EE-1092-4AD2-AA91-D94BD15CEA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506695$3B437C9D-43F5-46F8-A507-40AC29D32689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506695$198DEE26-5467-4FFE-B4DC-18BC473B8172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a9b6a505b5ca4144a9e78ef4f3eb1388cca5356","datavalue":{"value":"quantified conjunctive fragment of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506695$6E36B8DA-88A5-4EAF-80A0-86EDD1B720B5","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":"Q5506695$177831FC-920E-4E48-A03E-257340A028DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ce466be2b93e8328d6241286818a3aaa1f8bbe3","datavalue":{"value":"W2549714065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506695$EE83081F-AB20-45A4-ADC5-F42C9101C30C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71789cdf5926bec9c5c6d072a5916081596c1379","datavalue":{"value":{"entity-type":"item","numeric-id":2461773,"id":"Q2461773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$A9E09AA9-F857-4254-8DB3-CCD62EB9659F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ed176f973ef207aabe7e7204b0cff0302a313b","datavalue":{"value":{"entity-type":"item","numeric-id":2881100,"id":"Q2881100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$887399F7-913B-4878-B300-217723B56C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb9f9bf473829d1582fdb3757e7b9252a8721c6","datavalue":{"value":{"entity-type":"item","numeric-id":995385,"id":"Q995385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$1ABE556E-D145-4B70-B313-0CFF917CBBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b02256f11451f12e1504d669f6d6855719f4b8","datavalue":{"value":{"entity-type":"item","numeric-id":5902567,"id":"Q5902567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$86ED0E8A-3046-467C-A6E1-765473D093A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b497303ece981b58986c0c7930c68cdc8d2ea099","datavalue":{"value":{"entity-type":"item","numeric-id":3066793,"id":"Q3066793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$CB1AAF06-799E-48C1-A7D8-489A6F62D6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca803d15ff0c07b633015a8b6e798245a6d0a86","datavalue":{"value":{"entity-type":"item","numeric-id":3519501,"id":"Q3519501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$E4D90CE3-8B79-4872-9674-584201A86E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$FBE53D85-7829-4CC7-989F-97FFF62AFE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$F5654FA6-33FB-4EC3-A59B-47D91EFA17A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6df9df797c66e2105b650b58bb72a65315b081d","datavalue":{"value":{"entity-type":"item","numeric-id":3546290,"id":"Q3546290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$E9790B9B-958F-4359-B15A-3727D9AE0AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39882e5932c5b7e868db47b591000b3768d78b11","datavalue":{"value":{"entity-type":"item","numeric-id":5710685,"id":"Q5710685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$FC800DA4-A57B-4E77-A2F9-E1E5311C5BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97bea8313302d4aba346d0ce40d208fb04754b9","datavalue":{"value":{"entity-type":"item","numeric-id":3532582,"id":"Q3532582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$11D9292B-6A08-492F-BC4F-317BF00EEB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4499573df44d9712a446393c09ec0d4557b50e92","datavalue":{"value":{"entity-type":"item","numeric-id":1013082,"id":"Q1013082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$EFE6A7E4-A8C2-4AA9-B7CD-EAF3631998F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7744d5f540b8f83066a5ec864d298b1465643c","datavalue":{"value":{"entity-type":"item","numeric-id":539977,"id":"Q539977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$6AAB496F-8195-4524-8C84-6C3CD9959AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5c9eccb9ad7e55410d02e1bab91d3b286f2caa","datavalue":{"value":{"entity-type":"item","numeric-id":2897943,"id":"Q2897943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$0F98D98B-0EC9-4FDB-B581-00D159830340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a3515870c24e07ccac146719249eb5a889cf05","datavalue":{"value":{"entity-type":"item","numeric-id":3524172,"id":"Q3524172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$4535ACB6-CB79-4E2E-8E20-A035D030B199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f90dc47ee396b12cae5fa6d2394d18487359cb","datavalue":{"value":{"entity-type":"item","numeric-id":5394580,"id":"Q5394580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$AC8C7584-CCFB-4771-88BC-1BACC5004360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c369436f59b8426a8e7d413f989c02598608b10","datavalue":{"value":{"entity-type":"item","numeric-id":4914413,"id":"Q4914413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$723A09C4-4B80-4A49-9C1D-517BB0A6AD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40ff0c3a8fbca41c8719a93a83e28d84297c22e","datavalue":{"value":{"entity-type":"item","numeric-id":1959431,"id":"Q1959431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$E4C89EC2-9907-40DA-9B98-C20BA851D093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1de8d1e2cbf0da74243e09c3950bfce4f2aabc","datavalue":{"value":{"entity-type":"item","numeric-id":3196340,"id":"Q3196340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$0B8C8477-BC93-4297-9C5B-F8F9BE5D6409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf204344603d941b8787d9bacd2e19e53f7fc14","datavalue":{"value":{"entity-type":"item","numeric-id":5327428,"id":"Q5327428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$7ED6D865-31CF-45CE-99DB-25B21956E164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866cefe0e276b65c8cce7e6456a6a2fa17252ce7","datavalue":{"value":{"entity-type":"item","numeric-id":5738928,"id":"Q5738928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$07F111DF-36AF-4011-841E-F6CF3D7763F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f73fbf65a5563c2cdba7da3e67294bc6a131fbe","datavalue":{"value":{"entity-type":"item","numeric-id":4635616,"id":"Q4635616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$0BAC27F0-72D6-476A-8392-4CDFDAEC1278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de0f96bb4f607fdae78d0884c6eece78fec6fb9","datavalue":{"value":{"entity-type":"item","numeric-id":2828230,"id":"Q2828230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$91C235F9-8B2A-406B-B9D1-780A336D20DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4217e62d5f613094b9829dba804cd3c24010fa26","datavalue":{"value":{"entity-type":"item","numeric-id":269342,"id":"Q269342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$A71A1392-CC87-45D2-9E40-05E83DE590AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$09C0E758-7AD2-42DD-A336-8D4AD418EE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7efda439dae268c74b6da2abadadc010f670d1","datavalue":{"value":{"entity-type":"item","numeric-id":3455547,"id":"Q3455547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$8A2E41DB-0B23-4ADC-81C8-601179B85996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$454D9983-904B-4374-B9AF-929B373C20E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b3edc10849b5250c2bbbd137d0fea8a9ee868a","datavalue":{"value":{"entity-type":"item","numeric-id":3196620,"id":"Q3196620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$FB8ED0BA-9334-4700-B1BF-38FA299CF87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b070b31c61fde77c5210fef036722178c213942c","datavalue":{"value":{"entity-type":"item","numeric-id":696962,"id":"Q696962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$825608C2-677B-430F-9843-3254CE270CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510b6dc2f93f820fe261765df72e9416e86d392d","datavalue":{"value":{"entity-type":"item","numeric-id":1401972,"id":"Q1401972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$08172F47-6C69-40FC-9B29-5793551D93FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$7760FD2A-04A4-403A-8DAF-5E2977B2EF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90870b52f69b79e9f1be8991c81685fd47daf61f","datavalue":{"value":{"entity-type":"item","numeric-id":3546332,"id":"Q3546332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$43894BC0-2CAD-40F4-8867-F37DB51A5767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902738aae5d5c0a4e67cfee73c9d74c75da7c22b","datavalue":{"value":{"entity-type":"item","numeric-id":5176024,"id":"Q5176024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$3F07DAEC-4D88-4A5B-80D8-4F07826055C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$79F65115-242D-4358-A9C8-1E67C514BD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"963e7b0ed46ba77da4192ae386219699f145c469","datavalue":{"value":{"entity-type":"item","numeric-id":2875201,"id":"Q2875201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$B7C178C6-9D35-41F0-9A60-2E1898EA6EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2502cecb07a333e6ec79c887ee7e88f2b33742e6","datavalue":{"value":{"entity-type":"item","numeric-id":537902,"id":"Q537902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$3948FBCA-AF36-4158-9342-608D3160CBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c232c148de96e0caff1f0f1d4800c2b4628091","datavalue":{"value":{"entity-type":"item","numeric-id":5505579,"id":"Q5505579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506695$D0AF2D21-865C-4671-9E0E-9E91DCD84EFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69be940d1685a71b3464a8b26763e4b45f20d0b7","datavalue":{"value":{"entity-type":"item","numeric-id":2986797,"id":"Q2986797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q5506695$1C5D8634-097C-4F18-9E2F-D69A271E2492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854a274125c945f2870ecbfc47d3917cd1965b83","datavalue":{"value":{"entity-type":"item","numeric-id":3580676,"id":"Q3580676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3dc9ad990b0164aab82bfb2e04e8ded86f39d2","datavalue":{"value":{"amount":"+0.8870776","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":"Q5506695$CE757328-B7E4-412C-A2FB-8D8EA076E774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c66f0b8681ee9af0d374a807fc43e991c4bddb","datavalue":{"value":{"entity-type":"item","numeric-id":5737965,"id":"Q5737965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca011ead8877edddbf01a544662bf25764ef985","datavalue":{"value":{"amount":"+0.8762401","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":"Q5506695$382CC565-EC0E-42BF-93F2-9F74C8C9DCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfb244a489c38ecde94aa6dfbce3428d1b6dbe1","datavalue":{"value":{"entity-type":"item","numeric-id":3455060,"id":"Q3455060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701752b85ec81678efc6843dd408f18396a9ff82","datavalue":{"value":{"amount":"+0.87278533","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":"Q5506695$19EBC038-23FE-47DA-95C2-CE91D5A857F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b963f770837938292fd7c663a7e83e99a530b7b8","datavalue":{"value":{"entity-type":"item","numeric-id":3789520,"id":"Q3789520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412d35b0a9682bf1b58ce86e17bd632b38314c93","datavalue":{"value":{"amount":"+0.8675458","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":"Q5506695$5361142E-2142-4C15-86F1-E2109A045408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0051f85a8f6406b927e2dc9b5929b5e848920b","datavalue":{"value":{"entity-type":"item","numeric-id":3346236,"id":"Q3346236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ddfb5342d4c223022e3ff5a787d12f7be32790","datavalue":{"value":{"amount":"+0.8662737","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":"Q5506695$B50EF4CC-2050-42E5-9FF4-D1BBEEC6F605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de106bd57238a5dbbf87226b6859c2aaebcfbea","datavalue":{"value":{"entity-type":"item","numeric-id":2882946,"id":"Q2882946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f636f0c954fdfb55e1c8ce4901fa220e749b7c8","datavalue":{"value":{"amount":"+0.8652661","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":"Q5506695$8B2A63B6-D80C-452A-BA8A-84A9EECE41E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab93bf417d15085a979adaed539f72b17755904","datavalue":{"value":{"entity-type":"item","numeric-id":2704407,"id":"Q2704407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0086a3ee5d6e26bb1af9e924979cc5ef549cbc60","datavalue":{"value":{"amount":"+0.86315966","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":"Q5506695$AA8C09DC-857A-4B3D-8DFF-A2E460208224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d079dd83ff0e36b279ebbfaa90e73a9c3b55bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1791022,"id":"Q1791022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7de2a39f73caeae5b228eb2533c2e9daf77cab9","datavalue":{"value":{"amount":"+0.8604028","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":"Q5506695$EEFEA137-1D61-434D-BFBD-90CB70D07A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"341155efca36ba78672ba125a4a14595a3b35d85","datavalue":{"value":{"entity-type":"item","numeric-id":1104856,"id":"Q1104856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9326518082dafee5537083858115078b86e548ab","datavalue":{"value":{"amount":"+0.8580933","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":"Q5506695$44F5DDEB-46D7-43B2-B7B3-FFE33EEBC3D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decomposing Quantified Conjunctive (or Disjunctive) Formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decomposing_Quantified_Conjunctive_(or_Disjunctive)_Formulas"}}}}}