{"entities":{"Q2234084":{"pageid":2244827,"ns":120,"title":"Item:Q2234084","lastrevid":71634048,"modified":"2026-04-13T23:32:48Z","type":"item","id":"Q2234084","labels":{"en":{"language":"en","value":"Approximate bit dependency analysis to identify program synthesis problems as infeasible"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410646"}},"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":"Q2234084$DD2D3F29-15F8-491A-BC95-2EFA63512687","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"347a3d7c0d9f6f2c2605ed1366d2af7937970833","datavalue":{"value":{"text":"Approximate bit dependency analysis to identify program synthesis problems as infeasible","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234084$3327DED7-FA0D-43D7-947F-20491C0C655B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9912d8313f0de078844b7cd88bc50b416e153ee","datavalue":{"value":"1472.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234084$E5552E86-114F-45B3-AD15-B24EA275441E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36c2f6e9ea1fe49a75eaf104c83dd992feb5f455","datavalue":{"value":"10.1007/978-3-030-67067-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234084$5409F136-BA3D-49AD-B33B-50247AF057D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d672e717f380dd40f641df0eb1678c9cd05dedd2","datavalue":{"value":{"entity-type":"item","numeric-id":2234082,"id":"Q2234082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$E7214561-3C58-414E-AC94-536AB8B977E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a71ee88c1284db2d5c9c5711ed9e742b52bae5","datavalue":{"value":{"entity-type":"item","numeric-id":2234083,"id":"Q2234083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$5E1FCD95-3EC4-4F2E-B394-DC51DB10A095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234084$21BA1445-9280-450A-AA24-7EC60AC594E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234084$8C6B4FB9-97A9-40E0-BE73-DDC86E280316","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cfdd7c5057e75c61065904a52b67a977b477db1","datavalue":{"value":"7410646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234084$3E6ABECE-A6F8-4139-9109-2FAF0644D78B","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":"Q2234084$CA36FF27-D850-46DF-98AF-67C905716DA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8f4c44d351897d35106fa1ef00ca1ba3821f3bf","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234084$08F0AF57-52FC-45D6-8E0F-10D0016F8598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0058de38e9c63afca6ee27fac1d7d00dad245494","datavalue":{"value":"W3118342063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234084$93F5467C-4804-4DE4-B951-8A958A9E6BEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1300633675acf07b44945ebc8ec3d38f6555915b","datavalue":{"value":{"entity-type":"item","numeric-id":2828321,"id":"Q2828321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$603A2378-0D4B-41E3-A259-D8B68340A206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9d41de292e3fe88a7d1837b26ece3d8fec8518","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$64466BD3-B749-4FC0-AB6E-35BE30BF9913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$F52B7ADA-C884-4222-A9AB-CA9F4715CE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650620a8abff65a78f27b6d9c816323baf828dab","datavalue":{"value":{"entity-type":"item","numeric-id":2829286,"id":"Q2829286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$FC2D77EB-CE47-4EB3-B7AE-D2C569927BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb24d4003e8938ab3f519a16af505c036d54e287","datavalue":{"value":{"entity-type":"item","numeric-id":6194585,"id":"Q6194585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$8F4901C9-CB5F-43A9-AD70-CCF10D450D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39abbb29c91f6b6f10da9ffe1fc90f688ddd0d8a","datavalue":{"value":{"entity-type":"item","numeric-id":2234084,"id":"Q2234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$C141603F-E865-44EE-9FC6-CEB1951FAD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7845e28d58d136a0ee8db04a8b7b150559ea69cb","datavalue":{"value":{"entity-type":"item","numeric-id":2181939,"id":"Q2181939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$5969C7C6-BF1D-49BC-9A38-9B610DFD3E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8696caa15adf3a5064c5022b46bd5df6f36753","datavalue":{"value":{"entity-type":"item","numeric-id":2226758,"id":"Q2226758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$A917F06A-75CA-4BD0-B9C4-8988F3E4D6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293902bf996470a7caa9d55acc570a0da4c4ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":4139678,"id":"Q4139678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$7624C136-CC18-488A-B091-D6BB5C74E7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234084$60376E31-A66C-48BA-A656-31645BA363A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054842a2de5dff32b75f34c5574ca6dd881f24a2","datavalue":{"value":{"entity-type":"item","numeric-id":1647969,"id":"Q1647969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc933d82317e90768cc4f1c5846de46266e2393","datavalue":{"value":{"amount":"+0.8515231","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":"Q2234084$DB6FB880-AE0A-4E1E-BCDD-A0BD152DB2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc3a3bd250d70911a393ec7a6bcbf0cbc47bb6a","datavalue":{"value":{"entity-type":"item","numeric-id":1929363,"id":"Q1929363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556aada25871bfdbb441d4ec61fe63eb881d7601","datavalue":{"value":{"amount":"+0.8403946","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":"Q2234084$FB3E255F-A258-4D53-B3F7-351B06DA4673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b08024ae73fc46edc72377d07938cb0b11c280","datavalue":{"value":{"entity-type":"item","numeric-id":676462,"id":"Q676462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1b6dc926bb83ca134400d16646eb02c1eb017e","datavalue":{"value":{"amount":"+0.8402225","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":"Q2234084$E0A4C908-1F34-47DB-97D3-3641DC8C3672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5189d1e3fe4fcc17d177ffba94d82ee3e11d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4470563,"id":"Q4470563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1b6dc926bb83ca134400d16646eb02c1eb017e","datavalue":{"value":{"amount":"+0.8402225","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":"Q2234084$633926DE-C4DC-4B5C-B44A-CE3047B76321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819feb3a288616685e522fb27b106104ad0886a8","datavalue":{"value":{"entity-type":"item","numeric-id":3785924,"id":"Q3785924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8977a72a8ea473231a997426aeac8c4e439fd1c","datavalue":{"value":{"amount":"+0.83781993","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":"Q2234084$9452EC64-9C50-4428-9A92-047874E1DC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c8a94e1a47c55fae8c8e9039e1a115e5fdc2a8","datavalue":{"value":{"entity-type":"item","numeric-id":803121,"id":"Q803121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1190c3ee1369f8ea38429999f7c59cc756ab34e6","datavalue":{"value":{"amount":"+0.8338777","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":"Q2234084$D11F1ADC-3C85-40A0-9002-AA6FB225E3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1b6a1c9029c3ad5ca754749e0fc55f78ae6b52","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9d748b41b67ba74a42f6ade0d7d8e00d07a3a7","datavalue":{"value":{"amount":"+0.82983667","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":"Q2234084$139B5DE8-F8E5-4FDE-BD4B-7866AA061811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02b29d7597963d4fcaac34a191b0fd3e26e44e0","datavalue":{"value":{"entity-type":"item","numeric-id":6039396,"id":"Q6039396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a792367847105be08d38aedd95c9c30def125b2f","datavalue":{"value":{"amount":"+0.8294447","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":"Q2234084$DC5E4440-AC9C-4770-8178-1A4B346AD573","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximate bit dependency analysis to identify program synthesis problems as infeasible","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximate_bit_dependency_analysis_to_identify_program_synthesis_problems_as_infeasible"}}}}}