{"entities":{"Q4924537":{"pageid":6954119,"ns":120,"title":"Item:Q4924537","lastrevid":51733139,"modified":"2026-01-19T18:05:18Z","type":"item","id":"Q4924537","labels":{"en":{"language":"en","value":"System NEL is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171452"}},"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":"Q4924537$FAA8BFC2-9920-4290-87A0-0013714040AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77073781dad4c77a52a07a452b35c9786cd7b3c7","datavalue":{"value":{"text":"System NEL is Undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4924537$FF2DAF1C-963F-4CAB-B684-CD32636F2124","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26780bea365ccde54e11396782719a773270fb43","datavalue":{"value":"1264.03124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924537$F3444B81-A4CB-40FF-AEE3-12F2D68BBE8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"517436046f896740f33be950714a12ca49912a0c","datavalue":{"value":"10.1016/S1571-0661(04)80853-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924537$D710C29C-0C61-42BB-943F-181E77928A3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$79E442C0-13D1-4383-A1ED-A730A1A4220D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$3C80671E-E1D4-462C-BFEA-1C108376E541","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4924537$6742236D-4BA0-4DBD-951C-050F6DEF4765","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924537$A93500B0-DD2B-463E-9092-E5FE049AD7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924537$7E9D4F15-9FF9-4336-8ED7-F1DD10093E4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55868af77133b51b74413e1f00f72d72dad13d9f","datavalue":{"value":"6171452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924537$8EE26E1D-94CD-4938-8F3C-899661FF83AC","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":"Q4924537$3D6C1B9D-7329-46A0-8EFC-CF40CCB5E501","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$84743ACF-01C3-4D18-B6BA-46C0917BC24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c3580c9d30ad06ffdbc3efa06e3324c57f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$858904F8-F219-4606-B6EE-169683AA3AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91ac2523f5234beb2c8d7a818546864b8366653","datavalue":{"value":{"entity-type":"item","numeric-id":4812967,"id":"Q4812967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$D8237608-6646-49EE-9A7E-FB4031762865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce43943cdea99839778a97c2299e9ea778a76da","datavalue":{"value":{"entity-type":"item","numeric-id":4302338,"id":"Q4302338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$F5C67A34-D89C-480B-8D4B-E33A22B3C4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$88FBD4F1-CD2F-440C-AE1B-86103E80062E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$20CC04FC-BE70-4EF7-82C0-97BD9A544197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe802cd8809baf377abe6a55d7cfe19465c65ab","datavalue":{"value":{"entity-type":"item","numeric-id":4783301,"id":"Q4783301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$A9E2E192-BB20-4668-A8CB-6FE92A3DCA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075322df0e7aaaa2a72a696288712dbe0ddbbb95","datavalue":{"value":{"entity-type":"item","numeric-id":4428303,"id":"Q4428303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$CA425D56-5C72-4FF2-8AAE-C98211BFBA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea825b9dfaf2f8da8d5597506127e8f159f0c00c","datavalue":{"value":{"entity-type":"item","numeric-id":1337693,"id":"Q1337693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$0D2F7947-A9BA-46B3-815D-B59959914CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db28547f650fcce3897da527a184075ca851ef1d","datavalue":{"value":{"entity-type":"item","numeric-id":4842971,"id":"Q4842971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$6015E520-FFA7-4C8E-AD5B-0121FC67208F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1d00a2136bd0f3d0105551f99a80d6150e1d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1326780,"id":"Q1326780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$965788C3-E3C2-47EF-A12C-AF0893C233C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22a5f7a3b84f7df87b9d53ef2adac1522420762","datavalue":{"value":{"entity-type":"item","numeric-id":4894725,"id":"Q4894725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$37DC0EA6-2813-40BC-8D07-63F646ED3E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb84102d559fd7a0d70d66cd908e0bdc3f41ec08","datavalue":{"value":{"entity-type":"item","numeric-id":1917079,"id":"Q1917079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$D1413676-93E1-4A39-B5B4-9AA23F429ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1950b2f7ea4f55b053fe30cb31fae70c4ce589d","datavalue":{"value":{"entity-type":"item","numeric-id":3848975,"id":"Q3848975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$13B971E7-49CD-41F9-9838-9E7DE8DFC02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$5FC23192-70FF-4C70-9884-F396A932A1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$47AB81A5-7ED4-47EF-9DCC-56DD14219D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$DEFC7ED6-EA31-43B5-BDE0-6FC590A13A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4923f1a5bcbdfab74abb15ee109aa341c713371f","datavalue":{"value":{"entity-type":"item","numeric-id":3024915,"id":"Q3024915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924537$702415C0-252B-49FA-BE89-D39F5586D905","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d29741f4772d97d19f9edbc223a02c1a87546e","datavalue":{"value":{"entity-type":"item","numeric-id":3008232,"id":"Q3008232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c276645433570c78b98f1345b3e1c7e553ea97","datavalue":{"value":{"amount":"+0.7939379215240479","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":"Q4924537$AB5BACBC-A91A-44C1-BC72-E62AEBA64897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3fef36d44bccfe2af29d04704d954b1d33bbad","datavalue":{"value":{"entity-type":"item","numeric-id":2946642,"id":"Q2946642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"076961a58f2c6ecc074aa97706d4c950cb776259","datavalue":{"value":{"amount":"+0.7813796401023865","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":"Q4924537$1F327A18-0E1F-4B11-880D-9862393FA7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962eb7434f5422e5dcba54ffefe4466ada4a7f79","datavalue":{"value":{"entity-type":"item","numeric-id":4428303,"id":"Q4428303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8653765c929edfc1b6a6fbfa8417c7f3307e643a","datavalue":{"value":{"amount":"+0.7530912756919861","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":"Q4924537$94FDFADB-CCE0-4C61-A8FC-5C54F13A37AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f594fbf994da35238415d829b2f0d5c1052802aa","datavalue":{"value":{"entity-type":"item","numeric-id":4894725,"id":"Q4894725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7878e6860549891d4e5db2c15dac60e704534571","datavalue":{"value":{"amount":"+0.7476621270179749","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":"Q4924537$05970EBC-D6FD-4DC9-A531-10C020147D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c659bec14680488a0600fc4c8e6bd55236476eb9","datavalue":{"value":{"entity-type":"item","numeric-id":5015208,"id":"Q5015208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae05cc84dff18734dd0e8f477274a1286bec8fa","datavalue":{"value":{"amount":"+0.7388632893562317","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":"Q4924537$E4ACA45A-B4F6-41FF-8FAF-B5BBF2BCE7B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4924537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4924537"}}}}}