{"entities":{"Q3177929":{"pageid":3188638,"ns":120,"title":"Item:Q3177929","lastrevid":45616243,"modified":"2025-12-11T11:10:26Z","type":"item","id":"Q3177929","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602207"}},"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":"Q3177929$AA7F78D9-9639-427B-99E7-A81B125119F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe6484857fb4bda92f9c8df53a72616e862350ca","datavalue":{"value":"1362.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177929$E1535DC0-96B1-425C-8DC8-CDCB4CB20F10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c11537367761b3a042544f520669ef3aebcdb3a","datavalue":{"value":{"entity-type":"item","numeric-id":266856,"id":"Q266856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177929$48BA0D04-7CEA-4A3F-B024-06D1D8369D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177929$5963089B-FCA9-4BEA-B587-4BD2D5889294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177929$0F00B38D-D437-4260-8D1D-DD70D3EB00B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177929$DD31CC77-7594-485C-A9D2-FA6CA65D68AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3177929$F752D006-A529-4AE9-9958-0848FBB0EA53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ea30f3ab344781f1cbb873dc7a41080fa628167","datavalue":{"value":"http://www.jucs.org/jucs_18_20/crossing_the_undecidability_border","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177929$9B393C45-A578-427F-AB43-9B68DC6D15B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177929$ACF96369-7820-43E9-9A9A-55497B691B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177929$6DD442EE-40F6-436A-A7B5-7F9FAF4F9CFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6699e654bdf9499ad3e13f590a9b8a4af73c8501","datavalue":{"value":"6602207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177929$60BCA6A0-2AA4-4857-9930-B405A15B41AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177929$C18C9BB2-C235-4064-B326-75469B9ECA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5318dffc1cef98dc92fc8de2f97812530f75471","datavalue":{"value":"hybrid logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177929$93AE850A-E37C-4268-92FE-94949624C99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21e24033a38847e9ba2bd61b4ea18e45a19804da","datavalue":{"value":"interval length binders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177929$C7E7BBBF-9C71-47CE-BF2F-3C3AF9A31E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65dab2688b774389acbcca491590a4fc1ce8e4a","datavalue":{"value":"interval neighborhood logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177929$7A87CC9F-D099-42CF-8E15-3D5464CB49FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177929$07522830-B381-4C64-9963-5169B352C641","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":"Q3177929$F7967D4A-4BEB-4051-88BE-4536DAE02DA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d6bd5e4e70cf2849a98f0e91aa6453c9a7360d","datavalue":{"value":{"entity-type":"item","numeric-id":636267,"id":"Q636267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d481ec6f86059bb189dae86b5e003e3da1a8386d","datavalue":{"value":{"amount":"+0.91146505","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":"Q3177929$CF0D592C-2B5A-46D4-A569-681A52634193","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":"aabdfa6a2abd4b5a196a539e57e06b6dae7bb51e","datavalue":{"value":{"amount":"+0.8956367","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":"Q3177929$0054409F-E42C-4490-B330-608D2F4CD5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797bb01ee608567e35432105416866c77f35c511","datavalue":{"value":{"entity-type":"item","numeric-id":5434500,"id":"Q5434500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cdb77de18f644acf569876556bb94f741f233f","datavalue":{"value":{"amount":"+0.8929798","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":"Q3177929$931E5966-2CB7-420D-8A42-7152FC877DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9efd4c5931241b71cc2371d2e3ceb5535ee6e2","datavalue":{"value":{"entity-type":"item","numeric-id":805607,"id":"Q805607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a94ffdea634f008d277f95994261b7fd1ec711","datavalue":{"value":{"amount":"+0.8866273","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":"Q3177929$DC815BEF-B431-4E13-B39F-C7CAB09889D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3e79a6175c639ed75d8b0aa9af52759c22e853","datavalue":{"value":{"entity-type":"item","numeric-id":757339,"id":"Q757339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a535d1f79c485e6bcb980f8d1d26f98e0cde8468","datavalue":{"value":{"amount":"+0.8810842","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":"Q3177929$CA18FDB8-792B-48A9-AB8F-E22B6F3E1734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aedf9e076449ba4784ac01d163fcfd7509becb5","datavalue":{"value":{"entity-type":"item","numeric-id":2999204,"id":"Q2999204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a232b898598a3a7a73b7c1aaca78897bb02e26","datavalue":{"value":{"amount":"+0.87941706","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":"Q3177929$3179BB23-7723-4126-96FD-345B87F60F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7ba01af5f2271584e2bfa63cfe8d42ea087175","datavalue":{"value":{"entity-type":"item","numeric-id":5311254,"id":"Q5311254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6901dae6acb7e40ac64b6787c12ddf71420389","datavalue":{"value":{"amount":"+0.8786826","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":"Q3177929$43C647A9-C17A-46C9-9142-7CB8D1A86649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a179b8a8b9be48bc8ef2fe708fc2a4287cb698ce","datavalue":{"value":{"entity-type":"item","numeric-id":804564,"id":"Q804564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550ce69325aa2b64bce48ae9ad9986eb2feb627a","datavalue":{"value":{"amount":"+0.8663156","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":"Q3177929$570B8944-683B-4BCF-A9D6-A81F9FFC6597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfbad6e2edc5c872833e4ea696c62bb72b0a4ba7","datavalue":{"value":{"entity-type":"item","numeric-id":4931597,"id":"Q4931597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eeac415b8a029020325cd7373e66c1ad1721b9b","datavalue":{"value":{"amount":"+0.8651598","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":"Q3177929$97808B07-041A-43FB-89A4-82497E269B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58df28e740ff76c11b6adeb0cb5039afd4f754e5","datavalue":{"value":{"entity-type":"item","numeric-id":2987743,"id":"Q2987743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc0b0671612f3ccab8cb1a16378ea8c571c8465","datavalue":{"value":{"amount":"+0.8631335","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":"Q3177929$7ADB808A-3FF0-4672-9E67-892116CDC06E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3177929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3177929"}}}}}