{"entities":{"Q2946690":{"pageid":2957410,"ns":120,"title":"Item:Q2946690","lastrevid":52347386,"modified":"2026-01-22T10:12:13Z","type":"item","id":"Q2946690","labels":{"en":{"language":"en","value":"Nondeterministic phase semantics and the undecidability of Boolean BI"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483194"}},"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":"Q2946690$538D3FAB-8062-4A38-9DA2-68D4E0DF0088","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c58738ba639a18f0dac270bfc468a472fc010fea","datavalue":{"value":{"text":"Nondeterministic Phase Semantics and the Undecidability of Boolean BI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946690$29E075AC-5FD9-471F-BA27-CB5BDA419AA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08485355d558b1c7de20444f584a8b9e5b888fa9","datavalue":{"value":"1343.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946690$5A67957A-9F50-43A7-BAF2-BF85995DA75F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b3a4c05ecff122646a1d97cf8d4e6c59887c812","datavalue":{"value":"10.1145/2422085.2422091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946690$5242B6FF-3C45-4163-8DD3-2E09CF43B5D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa467ab0fb5921a8aef55b984db7a2882bc4957f","datavalue":{"value":{"entity-type":"item","numeric-id":877885,"id":"Q877885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946690$C15D991F-C9E1-4525-80EE-CF77B04FFBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946690$D868276A-7684-4E94-B62A-BE8568AEE1AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946690$3C0214AC-DE0D-4387-8D31-00271AE84D21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946690$D312AE95-68D4-4F24-9EA4-5A929359418E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946690$41BA26FB-153D-4C03-B1B5-CB113E743317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946690$68605DAB-E42A-49EF-AD91-9FBFE460D7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946690$71AE3B74-B7E3-4F67-9AFA-12FD5CE5F0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946690$E879F159-67BA-4FDD-ADD7-814748AE421D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9fadb78efa26e5cdb03e4d807ca95ccc6bb3b50","datavalue":{"value":"6483194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946690$2C5FCCC2-E110-4C9B-B30E-B0F423863844","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13088add949e78b90c301613c3145dcb24253b52","datavalue":{"value":"Boolean BI","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946690$00DDAC83-477E-4DE5-BAA4-0967176C94CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946690$A6DB3DB3-B07C-4E34-9571-0186ED059EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd904b0cfbaa780c268414e39ac619458fb20faf","datavalue":{"value":"Minsky machines encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946690$DD4A33A3-D710-441C-80AA-C41C53BC1833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946690$9911C81D-7DFF-4C01-8B93-5163468795FD","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":"Q2946690$B0B03E9E-A6FC-4749-8137-779F303200EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"873a6194efc473bf7e4d7412718b087807f607f4","datavalue":{"value":"https://doi.org/10.1145/2422085.2422091","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946690$C148F0EC-E723-450B-8FC5-9CDEC0DA6BC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edb6d63cee4cfbf0f59961d0d4937b928806f19e","datavalue":{"value":"W2017959340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946690$51C492E7-914B-4EA4-8E20-CA92428A6082","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03838d59c766ca64adfa743d39c1ec00dd190ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3644756,"id":"Q3644756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f11d3dcb26d67260ac380b7a62b6166f19799c","datavalue":{"value":{"amount":"+0.7804049849510193","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":"Q2946690$3ACCA5B6-B802-4737-976B-D568751E399C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7a8383d2a68bea8281859b24922936482b9271","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb64f0e410b5ae881f708ef8814ec56249de47f1","datavalue":{"value":{"amount":"+0.7538188099861145","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":"Q2946690$8BDBCCA8-1BDC-4D06-830B-3245BBD6424B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02159f3f688481d5a2c00c163956044f31d71342","datavalue":{"value":{"entity-type":"item","numeric-id":5385999,"id":"Q5385999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac5e7bdf9e45b2b3dd6aa030444caa42db60cf9","datavalue":{"value":{"amount":"+0.7481382489204407","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":"Q2946690$17CA3766-C618-42AC-825E-A267DF665DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6768814d418a7a016eb3b355bed27907c4f57df2","datavalue":{"value":{"entity-type":"item","numeric-id":3178265,"id":"Q3178265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b931fa269c6929801cb6eb8bb788f07d7fd51b","datavalue":{"value":{"amount":"+0.7138040661811829","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":"Q2946690$96D2F255-D7E4-4522-8DC8-A293767919BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a621be19ccac2300d0e15d91c4480eefcb2127","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"119324851f95e1c160365cb0426b566521379836","datavalue":{"value":{"amount":"+0.7129189372062683","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":"Q2946690$B52A72F6-E557-48F6-8FD9-CA8FE8312C61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946690"}}}}}