{"entities":{"Q5111285":{"pageid":7140859,"ns":120,"title":"Item:Q5111285","lastrevid":46185250,"modified":"2025-12-24T00:10:40Z","type":"item","id":"Q5111285","labels":{"en":{"language":"en","value":"Undecidable Problems for Probabilistic Network Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204402"}},"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":"Q5111285$D03D8AFE-7502-4F66-A357-4C0D4BA2F250","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46f9d65612a54a7450b444ecbba3580d0dcf1ea1","datavalue":{"value":"1441.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111285$6C83C64A-19E3-4362-94C9-3BBE1004E07F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76c98eefb16500945461940b78681912b49f2b34","datavalue":{"value":{"entity-type":"item","numeric-id":2200834,"id":"Q2200834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$5A2C43DE-8EE7-449B-8599-4615544368F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111285$36B7B28C-6569-4ED8-8686-9F00FEA32D2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111285$5C65343D-6905-40B8-8CAF-4CADF0008C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111285$92866D28-B1F9-430A-BB12-10706443C89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111285$F070662E-602E-45EB-96A8-6DC60E51B657","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"549351b28478e8c9c21a734cf83af5d80367e649","datavalue":{"value":"7204402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111285$24D9E345-A88F-4044-B459-028F8464809F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"180fce5d659c1b91ea4311ee2460336c8f2a0a3b","datavalue":{"value":"software-defined networking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111285$C50725AC-FA96-4478-A995-E7328C49AB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a4749a8e623c7ecfb87ff8e7c5cf4681ce14e4","datavalue":{"value":"NetKAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111285$063B270A-F7AB-47DE-B980-53D4F1F0CF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0219d36798025ec869a55ea28792f143049ca499","datavalue":{"value":"ProbNetKAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111285$8919707A-9E4D-4165-A49E-00949D7224A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111285$B8B5FC92-F061-4957-B5CD-1C4B541DB7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b03f35461c597cd5e268b67726c245175679fb32","datavalue":{"value":"probabilistic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111285$78E90067-F26D-4A82-A2BF-D8B9C3BAD5E4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11e8691cd1092776369a6c989adefc1b2275245d","datavalue":{"value":{"entity-type":"item","numeric-id":28139,"id":"Q28139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$9D5B9A61-7181-4E12-9BAE-6169DCA2B172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab319d33b5127823b01b264d67a7924c6cb7f8ae","datavalue":{"value":{"entity-type":"item","numeric-id":33505,"id":"Q33505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$45DE7D6B-A7A0-4787-AA27-6C976A31CE6F","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":"Q5111285$BE9973B8-81C3-4EED-8F0F-F41EF4ED22CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$0C81695A-8187-4FD8-AFC1-DF40E95AEA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e8e9da7120d2d65aaceca566ccf87b4a46bdbd","datavalue":{"value":{"entity-type":"item","numeric-id":1405789,"id":"Q1405789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$E13D7D88-5CC3-4939-BDD3-96B5F5C6003B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b419ac5ebe7e54faabe544d995dd065cbe3c33","datavalue":{"value":{"entity-type":"item","numeric-id":5757213,"id":"Q5757213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$805370CB-7D1F-4F92-A843-9020163F5A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49ce1337a4d1606e89be2c26995b66a83555870","datavalue":{"value":{"entity-type":"item","numeric-id":2802486,"id":"Q2802486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$85BF39E9-F97B-4CC4-9466-D6A2E87E11A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3def5ba2812862dfd1b4770373867e61432ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2819821,"id":"Q2819821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$6B2DEBDD-E99B-4FCA-B9A1-9E7203A45BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b75484c7028f815d660a12c0f4961432ff9fa02","datavalue":{"value":{"entity-type":"item","numeric-id":3587465,"id":"Q3587465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$7768AF46-4D1F-4EF1-9769-B933A0C1187B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1cf89056428513f7a0be89e62c3520ba59c12d","datavalue":{"value":{"entity-type":"item","numeric-id":2892790,"id":"Q2892790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$90EDFFC7-4F38-40C5-81E4-559092ABEAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$6171597F-E1CF-4EE3-B8F6-A9DF5DC45662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799a770b2744a28c301609963a6242cd1892e6c5","datavalue":{"value":{"entity-type":"item","numeric-id":2789031,"id":"Q2789031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$1054023A-78C0-4D69-B3BB-A0C070E62CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e5e5bed011fc81200bb6eee6f0282c3491aad3","datavalue":{"value":{"entity-type":"item","numeric-id":5370889,"id":"Q5370889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$91B3EF03-2749-4F20-8965-DF244EA081B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5718dd49930491916235d0432e4851489c7fabe","datavalue":{"value":{"entity-type":"item","numeric-id":3990650,"id":"Q3990650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111285$29576D3D-F365-4219-9219-C60E72E04D3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"742c149483864f10b8917eb5780393b58cbbac74","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/mfcs/mfcs2017.html#Kahn17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111285$6899ED88-6361-4908-BC5B-65426B776CB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efc18b175021263946c2dfafe4268ce224ab550d","datavalue":{"value":"W2759421792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111285$4350EF96-CADC-49DF-8189-04DBA840F866","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef4b17e3a2c82748ad77a09e7845c1cf539592fb","datavalue":{"value":{"text":"Undecidable Problems for Probabilistic Network Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111285$640BD9AA-13F1-46A9-A0F0-EB7C1C29FE9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5869c5f62006c95a2b0cad914fc0b0a467309a6c","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111285$14B21022-63D7-4ADB-AF90-DFE3D7EA1946","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9131b688ed0006b032bad1d361877c092fedc009","datavalue":{"value":{"entity-type":"item","numeric-id":2802486,"id":"Q2802486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9257e82e8420952bfb2215d57be084df0cf9d0","datavalue":{"value":{"amount":"+0.839238166809082","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":"Q5111285$E77DAE40-AA56-4FAD-8FAC-D5D620397AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc3a1701f4724663fa099a1f42092c519ad55b8","datavalue":{"value":{"entity-type":"item","numeric-id":5370889,"id":"Q5370889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43ea3dae4db2e38ad797c10bcef61f01741df7a","datavalue":{"value":{"amount":"+0.7757870554924011","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":"Q5111285$3EBB2B89-F23A-4466-A288-BB075AB2F418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0749e684900d7f2c6ebee6ef924190086b993b87","datavalue":{"value":{"entity-type":"item","numeric-id":3174943,"id":"Q3174943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c99a3298dc997d62705e6bbb10719c27c59eddd","datavalue":{"value":{"amount":"+0.7634834051132202","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":"Q5111285$ED185872-CC46-4FF1-B0E2-F38E7FD05C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06daf9585f3bbed9883d09c76b3bd918edf15070","datavalue":{"value":{"entity-type":"item","numeric-id":2819821,"id":"Q2819821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e5ed1c5cea139df356b0fa4939baceac626cc2","datavalue":{"value":{"amount":"+0.7368470430374146","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":"Q5111285$C7CC7943-A6A1-4B6F-A2B1-1F8C00B464B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5af8180d1e813cbf2f3de87556424cc821b12fb","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7298c66cdd71fbda5456e97106d761d28259f5c9","datavalue":{"value":{"amount":"+0.7258750796318054","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":"Q5111285$F00A3AEC-38D2-48BF-A12E-3C7C0EBC301B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111285"}}}}}