{"entities":{"Q5361235":{"pageid":7390809,"ns":120,"title":"Item:Q5361235","lastrevid":101065247,"modified":"2026-06-05T23:47:52Z","type":"item","id":"Q5361235","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 6781240"}},"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":"Q5361235$5EC06C26-ADE6-4509-9589-70EB813751A8","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":"Q5361235$355C8A0E-3AB4-4606-9086-086175F80418","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abe3cc611115f5cab2b2eac98f9d1b6c360d30f9","datavalue":{"value":"1374.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361235$B55C6A7C-9865-4F3C-91DB-135CD98072D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3099cf0f3bc6611b3d39dd5706431ae7acda1df","datavalue":{"value":"10.1137/16M1065288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361235$4DF2E84E-28BE-4413-8DE7-DBB76DE84A2B","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":"Q5361235$A9AC2EE3-CDCA-42C7-9690-0CB7EA2B177A","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":"Q5361235$A8A35711-9176-4ADB-8FF6-E4B7BD61618D","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":"Q5361235$DC999A8B-1112-4F38-84F2-2EADB3B918A9","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":"Q5361235$8D2DDBF3-0DE6-47CE-9BAD-F250AE962925","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39a509948a5fd41054da3e7af81581f39adaebc1","datavalue":{"value":{"entity-type":"item","numeric-id":2706174,"id":"Q2706174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361235$BE77571F-FF8F-4906-BF8C-10C34F800FF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d30c439537d32c3fa1ef5645003f6830c886af","datavalue":{"value":{"time":"+2017-09-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":"Q5361235$FE083FFD-5634-458E-8815-B715B91764AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361235$B5048F89-5223-4338-BA9B-1C06F5C391AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361235$B9E75091-0B94-4DFF-B306-62FD6721118D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55c350ee2c474043e8ac6c7f74f0eb342cb28250","datavalue":{"value":"6781240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361235$D790FCA8-25CB-4C57-A064-4DBB2E29333D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3ca57d7e29ab6073aa567c6a395b1f353af0f8","datavalue":{"value":"reconfiguration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361235$738B7C76-6AEF-4E23-975F-34AB42B367CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dccd65fbf10c4b2327e3717fe7d64644d77ffc6","datavalue":{"value":"solution space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361235$2E501412-C62C-4ABF-8C77-14A4F2ECCD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361235$40046BF6-A4A2-4803-8ECB-5E1812B75782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba9b57c8aa017016096d074e724eb0d87e7253b","datavalue":{"value":"Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361235$5C51E534-5A5E-4F1C-A419-838F88783F0C","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":"Q5361235$0953F586-AE2C-4BAE-8762-2C6F128DBEAB","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":"Q5361235$7953368C-8983-44D1-BC17-8EE817BE9F89","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":"Q5361235$F1839868-1EB2-45B3-8989-8C3CDD1EC0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbd2096105b9316a95c0955ac512c86ad058481","datavalue":{"value":{"entity-type":"item","numeric-id":2946012,"id":"Q2946012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361235$8EF44954-FFE0-4662-98F1-6A6805F69C2E","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":"Q5361235$C7515CDB-93EA-42A0-93DC-A00A19FDC0FB","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":"Q5361235$4E445F5B-43B7-4FA7-A526-A6279250307A","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":"Q5361235$72FB09E4-48AE-4766-8FFF-87870EB1CFBA","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":"Q5361235$704BA947-F797-4466-A07C-78E3FB1007D4","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":"Q5361235$6BA99D98-1782-44EB-B3B4-236CEEAA4DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7fef76eb773383f940acdf9ebf07b3c04027db","datavalue":{"value":{"entity-type":"item","numeric-id":2768294,"id":"Q2768294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361235$37B8C3AD-0A95-43A9-AA2B-F189E21E9F1C","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":"Q5361235$412C7057-FF3F-4D17-81F4-0A9CDE7C9919","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":"Q5361235$793B67B6-0257-42DC-84A7-F904C8EB6520","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":"Q5361235$B216B8AA-DCBE-4ADE-BE73-777FFE2A05A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca29eaba48356fd50264941539a922bf9fd3c9a2","datavalue":{"value":{"entity-type":"item","numeric-id":2942629,"id":"Q2942629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361235$7A8B672E-8710-4614-8A6A-7118FDAD4A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b183c3e585a6a672bf55242843f35bba7c8e6c6","datavalue":{"value":{"entity-type":"item","numeric-id":5410654,"id":"Q5410654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361235$4D2DD9B1-9E1E-45F7-A721-D8F603F5B869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85862c88337a21fcea82a8ec19f1508598ffcd79","datavalue":{"value":{"entity-type":"item","numeric-id":2946021,"id":"Q2946021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361235$84C76EEA-9C2A-4E29-AC1B-3929696F2985","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":"Q5361235$27B7D78B-DD2A-44C7-A924-FB9AF2252C67","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":"Q5361235$C6905F3D-3679-4DCB-809E-455EEB71955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7827f8c27ea1138206790e52354012ec1dc5612","datavalue":{"value":{"entity-type":"item","numeric-id":3448854,"id":"Q3448854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361235$032AE9D4-9BA6-4DA0-B7FD-FADFE3B135B9","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":"Q5361235$94FC5602-E526-41A7-8A60-01A2DB0F0D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ff7216202565e26539a3995712576f71c6634e","datavalue":{"value":{"entity-type":"item","numeric-id":2946023,"id":"Q2946023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361235$B5B76453-A084-4125-907C-9955399DDA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3539f5336180deaf412dab236434bbe090dc272d","datavalue":{"value":{"entity-type":"item","numeric-id":4948512,"id":"Q4948512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361235$6D7F7FE4-5A28-42D9-B224-2115FCA1449A","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":"Q5361235$A7995D87-D0DF-4807-858E-53D5BAB70C19","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":"Q5361235$A4026C00-0A47-460C-8349-7DB7CC913E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f80e72c60e965ff74053ca242a8f8bc9d31aec4","datavalue":{"value":{"entity-type":"item","numeric-id":2875857,"id":"Q2875857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361235$12469043-ABC6-4A53-B118-AFD6AAE23269","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653899258bcb494b2d4106eb421990823457cf0a","datavalue":{"value":{"entity-type":"item","numeric-id":3448854,"id":"Q3448854"},"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":"Q5361235$B74D19DF-15FF-4A78-B9CF-F185F00C64C1","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":"bd99336aedfc5728f72bccdead54bc91682e6741","datavalue":{"value":{"amount":"+0.7103195190429688","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":"Q5361235$F662F5A7-EC0C-4A7D-9836-B0B26110DEE0","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":"3790bc174423e3416ddcd1bf90a0e1840991126e","datavalue":{"value":{"amount":"+0.7091517448425293","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":"Q5361235$2F21D29F-BBAB-47A5-8C9F-502878411461","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Shortest reconfiguration paths in the solution space of Boolean formulas (scientific article; zbMATH DE number 6781240)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Shortest_reconfiguration_paths_in_the_solution_space_of_Boolean_formulas_(scientific_article;_zbMATH_DE_number_6781240)"}}}}}