{"entities":{"Q3524163":{"pageid":5554067,"ns":120,"title":"Item:Q3524163","lastrevid":49024999,"modified":"2026-01-06T12:04:21Z","type":"item","id":"Q3524163","labels":{"en":{"language":"en","value":"Incremental Algorithms for Local Search from Existential Second-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5323046"}},"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":"Q3524163$CE47FBE8-392E-4B38-9FA1-B1C5CDA055B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55f797672f20b34c6bf4f36ca72a4d5541fd5f00","datavalue":{"value":{"text":"Incremental Algorithms for Local Search from Existential Second-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3524163$348D6B47-C3BA-4A46-9D6B-F2244D2DD7A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"171249e86042946d1a5b77b027f02a0c0b755ccb","datavalue":{"value":"1153.68441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524163$7E6AC36C-5830-49D8-8636-0A1E8562E273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"559a3cffc4cee549a555d7c7c920b000f98f98b7","datavalue":{"value":"10.1007/11564751_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524163$BA3982BD-72FA-4F06-B9A0-658ABEEE132D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c70a891b7abd148fafbe068521f009f51325127","datavalue":{"value":{"entity-type":"item","numeric-id":1013088,"id":"Q1013088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524163$B35896E9-5F1E-48B4-AAC7-E29F241EE775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d929e499819f5cdd992aa8413d5dd647386b14f5","datavalue":{"value":{"entity-type":"item","numeric-id":334806,"id":"Q334806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524163$495AE4F8-EF7D-40F2-AAA8-672FC8426C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca6ef1b01a170aa9e578d3110eeb389dc262fa67","datavalue":{"value":{"entity-type":"item","numeric-id":334807,"id":"Q334807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524163$E009A2BE-59E1-409B-81D7-1B5E1ED59FAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e691ea6495e7faeed227cefc6e05f72a0339a4a5","datavalue":{"value":{"entity-type":"item","numeric-id":3524160,"id":"Q3524160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524163$9CB0D9F9-AB21-41F6-B2BD-1A87C05C22A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c410b8e6c6f16e495cecdeb38de7754dabfa1e","datavalue":{"value":{"time":"+2008-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3524163$C0C6008C-E41F-4B91-9252-DFB139296BD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524163$0AAA1A62-F996-486B-843F-1EB387D36F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524163$FF6884FD-4345-4D6D-9427-6E36377F151E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7b600a0bd525a05fa571487b461fe5ba90ad6e5d","datavalue":{"value":"91B28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524163$614690D9-F0B5-4C8A-8761-4219FCD17E65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5be8df49cbcbeca63ba4f9d0851af6c741adebac","datavalue":{"value":"5323046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524163$E7012CD1-96EC-48B4-B8F5-3C5753E3D7A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebd67a4ccc2bf86a9f3ea1786e3ee2f38f950f1c","datavalue":{"value":{"entity-type":"item","numeric-id":16950,"id":"Q16950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524163$273A7E25-D1A0-498B-95E1-AABB3B35649E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9101bf7f669a5a72e1b883b532ea781912797c08","datavalue":{"value":{"entity-type":"item","numeric-id":14787,"id":"Q14787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524163$DDB5C943-F22D-462E-A9CE-EB3438AB745C","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":"Q3524163$5E6E5E96-3682-477C-8803-BACA0132B9B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7b051a522e18aaa4636456ee4ab0f9f6d721e80","datavalue":{"value":"https://doi.org/10.1007/11564751_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3524163$0FE46454-4EB9-4FF9-9BFC-F42B25C08996","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c1f976e8e354ddfca27caf3c09f21e2928c94c6","datavalue":{"value":"W2115728504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524163$46CC40F2-2D3E-4056-B679-A2D1E161AB5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d0edbdc8f717f1a718dc54f59330b1eaf4cd0d","datavalue":{"value":{"entity-type":"item","numeric-id":3357523,"id":"Q3357523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87dcc76d8b302a8e43ac20a322b214393b62e37","datavalue":{"value":{"amount":"+0.87289","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":"Q3524163$C72FE422-CF90-49A9-A855-636249609129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a85de17b6cb7533f2e714d5e2862981de1e661","datavalue":{"value":{"entity-type":"item","numeric-id":2326747,"id":"Q2326747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f456ba605aada2f3d62bd31cfbd4599ad05f5f","datavalue":{"value":{"amount":"+0.87224966","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":"Q3524163$B66C753B-0157-48FE-A779-D23CCA71A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf28902827dd7d563c83f8678d9bc91ba6916d1b","datavalue":{"value":{"entity-type":"item","numeric-id":4518915,"id":"Q4518915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112cf7187f7c585ef67ea46e1759d7ee58d8a14a","datavalue":{"value":{"amount":"+0.870123","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":"Q3524163$E214E725-7BAC-4241-A460-75863A82D757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767bc48bd53a0b15eebad055bb776ed5fe75b0b5","datavalue":{"value":{"entity-type":"item","numeric-id":5449592,"id":"Q5449592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ffd8b231f484a8522c31d52f95d53e61d979d5","datavalue":{"value":{"amount":"+0.86586815","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":"Q3524163$C093ADCC-8DCB-43D8-9E95-07BBC14A48FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737af5fba131f53c1e13c5c1fa7b1f2a8e01758e","datavalue":{"value":{"entity-type":"item","numeric-id":5030198,"id":"Q5030198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f59295f78e3d753239e7f3c900fcc91f27c7d44","datavalue":{"value":{"amount":"+0.8566592","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":"Q3524163$9F984914-D3DF-4D8E-AE70-D79ED7E073FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8f94309b421ca467f5f61f3f8453c3117dc524","datavalue":{"value":{"entity-type":"item","numeric-id":5464698,"id":"Q5464698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b1a1769cdd8aa248f65672347254ea2b9b29cf","datavalue":{"value":{"amount":"+0.8541063","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":"Q3524163$CA593F38-F529-4ECD-9CE4-7057A8939EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b92e0c5e37d8649b02e898e82086aff0c3e28a","datavalue":{"value":{"entity-type":"item","numeric-id":4222837,"id":"Q4222837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a64447e2d903c67383803530c52603a2362241","datavalue":{"value":{"amount":"+0.8520814","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":"Q3524163$B8049B87-B8A0-48EF-BC1B-CC206013B0D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3524163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3524163"}}}}}