{"entities":{"Q3448854":{"pageid":5194015,"ns":120,"title":"Item:Q3448854","lastrevid":58183035,"modified":"2026-04-04T03:38:41Z","type":"item","id":"Q3448854","labels":{"en":{"language":"en","value":"Shortest reconfiguration paths in the solution space of Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6498707"}},"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":"Q3448854$CD10593E-4DD9-43FA-98AC-D0491DC45D2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a187ec227fd4edb9810b74530756fa99f762b846","datavalue":{"value":{"text":"Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3448854$AFEE087D-9325-46E2-84B8-D471D62B9BBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3debf06ef4c78badd84d9972271da501c218d03a","datavalue":{"value":"1374.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448854$7554F2CD-26D9-4F49-959B-CB1D88884CC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40ebda17e390f7c9cb8f2e63436ec9161108d69a","datavalue":{"value":"10.1007/978-3-662-47672-7_80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448854$9E6936A8-6E6E-4F16-B868-6685CBC452B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b14eb5968249c5ea07f67b895f6f1c8e05507b06","datavalue":{"value":{"entity-type":"item","numeric-id":346506,"id":"Q346506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$9C94673D-C819-4B8E-8D22-0CD9A2E0382F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6c1ea196a21dfa02623870727c5ba688009bc2","datavalue":{"value":{"entity-type":"item","numeric-id":346507,"id":"Q346507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$01C62F8C-99D6-43AF-8547-C3BC4CC83E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db5e90978709ca73ab71e107d6a3825a62e348fb","datavalue":{"value":{"entity-type":"item","numeric-id":390130,"id":"Q390130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$84D051A5-8431-4A0C-856F-1BC1B63AA812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b996198f60d889c2665626a27c3234f9a40ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":293161,"id":"Q293161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$D9BE8094-F851-4F7A-9A8B-6D119BC869A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$7B9EFE71-67B3-4C46-AF3A-D557072A2CD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c7e608d0bb85e41554d5122b6bd0bdc88b90e0c","datavalue":{"value":{"time":"+2015-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3448854$49DC19AD-A727-4B8F-B39D-BD20F6DD50C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e43a79538ad94c1d4f54a6752caaee2be813df9","datavalue":{"value":"https://arxiv.org/abs/1404.3801","type":"string"},"datatype":"url"},"type":"statement","id":"Q3448854$CAD2A929-80E8-4808-8EC1-31CF14C2B38C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448854$D38F08AA-AD02-4917-AAA2-DAB1264EA4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448854$70FB0816-FC18-4447-BB78-F6319F2FDBC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe5dc861c8ed0033f0db06fc87dab66b01345b4b","datavalue":{"value":"6498707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448854$79121703-7486-43AB-B3D5-74DAAAA40C44","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":"Q3448854$D0C291FB-7B9E-4730-9254-89725C2AE6BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81ab86c93cb2f020075f2d79740343e701fd9a23","datavalue":{"value":"W1579633601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3448854$5E4AFADA-CBDA-4FBF-8120-A0DEA3BBD410","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$78CA2462-2A8E-4BFB-8DC2-71606FAC19AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3419efc203aeb720c75d227cff7b3d42437773","datavalue":{"value":{"entity-type":"item","numeric-id":2645756,"id":"Q2645756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$400E7A42-A045-4E59-B1F4-FF31ADC8F3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f467ee2258248f510c1db08ca6d687d49519ddca","datavalue":{"value":{"entity-type":"item","numeric-id":1686264,"id":"Q1686264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$055359FA-607D-4D3C-9B5E-321B94637F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e070597e4e72e0ddfb8bf1003bf1873c1c51c13","datavalue":{"value":{"entity-type":"item","numeric-id":2470462,"id":"Q2470462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$10C4A86E-4654-4F8F-BD5A-0539BA8EDD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$074A175D-0476-4364-95CC-19AA9F76D5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b875fe67b4d8496bd5d08cd6af0fefb1515124a","datavalue":{"value":{"entity-type":"item","numeric-id":1166933,"id":"Q1166933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$D05B8454-085C-49CA-9229-C90349B1B9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9014434e1cbd61e8b57036cbb33363ffe9eee7","datavalue":{"value":{"entity-type":"item","numeric-id":5422389,"id":"Q5422389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$A8D16A8E-4D6F-43A1-B828-843077A45750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ba9241fc650fc7f81377993930d103b746a89b","datavalue":{"value":{"entity-type":"item","numeric-id":3092684,"id":"Q3092684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$A359F620-1762-401C-A721-850D26FDC939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68b8d005dfd87902f37fb8cb4e60330d36c756a","datavalue":{"value":{"entity-type":"item","numeric-id":5902502,"id":"Q5902502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$F728CC84-1778-4A37-B9E7-F270280005CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adb753426206a01b9fcf78479e586e248e7d827","datavalue":{"value":{"entity-type":"item","numeric-id":631762,"id":"Q631762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$06F2F167-5013-42D8-9462-9CDBEE8ED70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f8fd65fe84756b57c3eda165eb5976c9686ade","datavalue":{"value":{"entity-type":"item","numeric-id":713316,"id":"Q713316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$F5697988-304B-4DF2-AE6C-421E40489577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee199819198f52249bbfa0aa9cdb4f0fc68dc46","datavalue":{"value":{"entity-type":"item","numeric-id":441866,"id":"Q441866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$FCBF59D9-0F5B-49B4-AD71-9A350624A207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9618e14b022028b198307029459f867a79cdd5b6","datavalue":{"value":{"entity-type":"item","numeric-id":2557708,"id":"Q2557708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$D0876007-8095-4F4A-A76C-82C36F3BE172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30293edef740700401047e90e54e86a7a79bf3d","datavalue":{"value":{"entity-type":"item","numeric-id":2942651,"id":"Q2942651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$3AE06947-C141-4AD5-9ED7-6F5467398055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$E32D636B-F1B3-40B1-83B7-3D739CACE8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1daa75549f6f1270aa294716052d481a41e76af","datavalue":{"value":{"entity-type":"item","numeric-id":3194807,"id":"Q3194807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3448854$348E8757-BBD2-407E-AF2D-C6465335A426","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9200fe1c0403b8f0b37dc9789fd53b1b52154e58","datavalue":{"value":{"entity-type":"item","numeric-id":5361235,"id":"Q5361235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60bf8ecbf3e285792b562ed0a36ff65ddbf0fe62","datavalue":{"value":{"amount":"+0.9987966418266296","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":"Q3448854$8E0F2972-FE1E-43D8-A78C-8103AC4C0DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ae5b589ce3131462163f64c0b751e0e7494add","datavalue":{"value":{"entity-type":"item","numeric-id":2411031,"id":"Q2411031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929834791e57f5fc1b01916e345e75525677d540","datavalue":{"value":{"amount":"+0.7159697413444519","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":"Q3448854$E51CB28C-72AF-4768-913C-A2B63F57A1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b3f6f1457bc7e988375c21f76f82efb72198db","datavalue":{"value":{"entity-type":"item","numeric-id":456705,"id":"Q456705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a063871e0e1f3a8adcdbc3f454463bc04f1d42c","datavalue":{"value":{"amount":"+0.7123119235038757","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":"Q3448854$4AA7491F-9CEC-445F-B5FD-7E58EFA2E069","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3448854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3448854"}}}}}