{"entities":{"Q6085711":{"pageid":13220018,"ns":120,"title":"Item:Q6085711","lastrevid":40719626,"modified":"2025-04-04T11:28:28Z","type":"item","id":"Q6085711","labels":{"en":{"language":"en","value":"Output-size sensitiveness of OBDD construction through maximal independent set problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776449"}},"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":"Q6085711$E3CCC59D-08C2-4A97-9D50-6BC42B67F1B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1580c25ebda56ac1699f78c0be215faa773f5be8","datavalue":{"value":{"text":"Output-size sensitiveness of OBDD construction through maximal independent set problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6085711$FAEBF6D5-AD92-44A2-AE1D-DCAB72D30471","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf33eda75db61c44da71d8ccc5e33ad62f2b8ee4","datavalue":{"value":"1527.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085711$99476C18-CF15-44C9-B7E2-353C7D5AC5BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65fdb8d780567c7b6dac241eaf17826ce83b90a5","datavalue":{"value":{"entity-type":"item","numeric-id":4253368,"id":"Q4253368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085711$5A92E53D-EC28-405F-A467-8A332536C3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbb2396fe0a458cf068e30ee0babf06e823066b","datavalue":{"value":{"entity-type":"item","numeric-id":414927,"id":"Q414927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085711$7FC0B8FE-2649-4F66-8E0F-E9EB3BB097EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"656df05f9ab7ef3d9a8536a36ac89215af447dfa","datavalue":{"value":{"entity-type":"item","numeric-id":347107,"id":"Q347107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085711$30F6C2CE-B8B1-4BA4-A3BE-38B70F5C7864","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085711$29DC84EF-09B1-479C-AC24-F14D800D4D5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6085711$43D2FBDA-CB3F-4DF9-9E0C-4FF317B3E5C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085711$C7CA1931-5BA6-4712-AFE5-7357943D3ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1e2924ba238bc47b6e89cc71d65b0484b3d905","datavalue":{"value":"05C69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085711$2BE5C369-4916-40A2-920A-81B0F152CD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085711$42C597E1-5FD1-4E26-8159-1701ABD5443A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085711$95701603-871E-42C9-B28E-FFEAB2D3F1EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7f7f97467f3aee4ceb2dc3afbd9c10996e3c9d3","datavalue":{"value":"7776449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085711$74AF8EEA-D888-49AB-ACE4-D0DA658C94EC","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":"Q6085711$A2DB853D-EB75-46FA-AF2C-AAE536F5AC41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3539bb20bae9a97476c751541db1c051f4085408","datavalue":{"value":"https://doi.org/10.1007/bfb0030837","type":"string"},"datatype":"url"},"type":"statement","id":"Q6085711$0F7676DF-72B4-410F-9FEE-D64AEA6441A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9acefbf2a29fc59967d30729de9133ce9060db96","datavalue":{"value":"W2170207422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085711$5088241B-FE10-4564-B2AF-68D12A442BA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085711$EDCE3508-727D-4104-BD72-2D8D82D1A1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e479d55831ea03a30e0994f852f48d4fd164bec9","datavalue":{"value":{"entity-type":"item","numeric-id":4886040,"id":"Q4886040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085711$C71F0495-C601-4C50-AA3E-D307BEB30EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ba7598a622756daa7a1a98c7ec39119480164a","datavalue":{"value":{"entity-type":"item","numeric-id":1108809,"id":"Q1108809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085711$81D1D9F7-8D40-4F9E-9C38-E582C3F9A9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee622c8004588ce4ee327462c9cddb2144c21dd","datavalue":{"value":{"entity-type":"item","numeric-id":3890128,"id":"Q3890128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085711$03BBC31B-C97A-489F-952F-CBEC9108E42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200ff971d79cd94af198b15e5b0c8a0b933ebda0","datavalue":{"value":{"entity-type":"item","numeric-id":4525751,"id":"Q4525751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085711$EA8B121B-53C5-4D2F-8E4F-2CFAD531C25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb85e2a08b123210f7ea1cf8a8c1c958121dd184","datavalue":{"value":{"entity-type":"item","numeric-id":4138754,"id":"Q4138754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085711$FB2834EB-7393-4188-868C-398965F2F127","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2986b6f0782ca499aa70e80d6cfd1a3ddf166ef6","datavalue":{"value":"10.1007/BFB0030837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085711$2D49AC0C-3ACD-499E-A17F-8AA0A605F6CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5f2925515b394ed6f3030e6913a07175961901","datavalue":{"value":{"entity-type":"item","numeric-id":987805,"id":"Q987805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1485989952ee0e24727fffc1f15b30933ad9c4df","datavalue":{"value":{"amount":"+0.85407394","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":"Q6085711$F18C2641-5B17-4EC3-A5D1-07C92D077CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"092889f08f7e894b897678c06c5c977ab8803c08","datavalue":{"value":{"entity-type":"item","numeric-id":4501681,"id":"Q4501681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba61fc0932296cb6fc3f159fd1b4170c5e4c3ddb","datavalue":{"value":{"amount":"+0.85026205","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":"Q6085711$8CEC369F-D6E8-44ED-9A98-BFE33AD632D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0594fbaa308cedbaec3849eb979f1b1492d76a","datavalue":{"value":{"entity-type":"item","numeric-id":4571359,"id":"Q4571359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55cef2623d3b2f1dee2aeaf33e1d76566e5085d","datavalue":{"value":{"amount":"+0.84936666","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":"Q6085711$9A007865-2A21-4F51-BF56-95325E0CB128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472924d7015dceb57255dade52a4621a8ca78f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5929919,"id":"Q5929919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c2e26b410d07edc5cf6e377d4129dc296f2058","datavalue":{"value":{"amount":"+0.84929687","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":"Q6085711$FC69E506-DDD1-40B1-80A5-F793BA62905C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e8aefffb2860dc377eddf8a21726151305e1ed","datavalue":{"value":{"entity-type":"item","numeric-id":2754143,"id":"Q2754143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172b49037a0b5687211a93c1b1e8f7898e0bb818","datavalue":{"value":{"amount":"+0.8492968","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":"Q6085711$2937857E-626B-41E0-9C65-264207631CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36e387df55cf0e70bef87d8d330f51752ab9247","datavalue":{"value":{"entity-type":"item","numeric-id":5054808,"id":"Q5054808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48ae75fd4b10c02bab1b2cdbb08d0bc10e50d3c","datavalue":{"value":{"amount":"+0.8477551","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":"Q6085711$EEBA9D2B-E127-40E6-B124-87E3B53C1ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb1a96f3fda42935df768bfe45a32e5c6e24bf1","datavalue":{"value":{"entity-type":"item","numeric-id":4364580,"id":"Q4364580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c342e855edf478e3428a7b745f65afd7b6dc77","datavalue":{"value":{"amount":"+0.8453834","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":"Q6085711$0D6DCD8D-7F59-4B99-92B6-8C6209251512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37a771ca024576551047e8f13434bebc3ef2397","datavalue":{"value":{"entity-type":"item","numeric-id":1607073,"id":"Q1607073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0e5e425ff604b11a41f7427359a267eb42699a","datavalue":{"value":{"amount":"+0.8386544","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":"Q6085711$62681C2F-904A-4915-A371-865AA85E34BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e9ac3a89ca2f48d188dcc7ee7abeb0325afa7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1854498,"id":"Q1854498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb70daf42d6a87d43b5d31f84f330ebabf029354","datavalue":{"value":{"amount":"+0.83754563","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":"Q6085711$07B4010A-5BF6-4C7C-B56D-B0D7BBC7A9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564a829e0f279f5613b98b5787365ccef64823d1","datavalue":{"value":{"entity-type":"item","numeric-id":4420060,"id":"Q4420060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3f9d674501f7f6511fe5ef90b5beaf61501eae","datavalue":{"value":{"amount":"+0.8341469","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":"Q6085711$985759BB-C389-4130-9BA5-8FEC96AF1253","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6085711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6085711"}}}}}