{"entities":{"Q4508395":{"pageid":6537988,"ns":120,"title":"Item:Q4508395","lastrevid":41262371,"modified":"2025-04-26T03:43:32Z","type":"item","id":"Q4508395","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512706"}},"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":"Q4508395$B3059523-7264-4DE9-A12B-7D53A1ABB9CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fc9b99a4c9fbb4f40a47a0463ded08549848962","datavalue":{"value":"0957.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508395$139B03D0-0159-4F8C-A87F-3D2298A7A951","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adb1755ff94a0762e65433b2138c86e490347fe3","datavalue":{"value":{"entity-type":"item","numeric-id":385505,"id":"Q385505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508395$AB46557D-9E74-4AFF-9307-F9A95DEFDCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6813c0c0d634bd244a1caeaeffa7f19b5586ee32","datavalue":{"value":{"entity-type":"item","numeric-id":494058,"id":"Q494058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508395$FFABA39A-C241-4039-894B-98510CD195A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f237021792b0a72b58a3933d0a4dbb754335c45f","datavalue":{"value":{"entity-type":"item","numeric-id":203918,"id":"Q203918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508395$DBF70E00-A276-48EF-91BD-892101C302C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd137ab3986c6c9a1e6f54aff881bebe6c2d055","datavalue":{"value":{"entity-type":"item","numeric-id":505063,"id":"Q505063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508395$D8328A57-EEC7-42D7-A316-2AF7ECCE2718","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508395$B574702E-8E23-4BF4-BF3F-392B1003F798","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508395$AE3519D1-8AF4-4488-AF2B-938C06347E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508395$2B96C5A4-C9C6-44D6-A8AA-5AD35E0F5FF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43d9b2a5cd9d68db96919ee3685f5bbfd4906be4","datavalue":{"value":"1512706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508395$48469EBF-B6F8-4CAD-8324-27FBFE6CDFFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0a24ca95a49627adaf1c12a1b6517b577bd1ee","datavalue":{"value":"complexity of decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508395$B05F92F5-A267-45AF-A7AC-1CDB8A00EDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508395$03A8F6A5-25AC-46FC-AC54-52EF9CC05F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11d3ed2cbdb5ae8c8c2e302151b86a1937f2e7cf","datavalue":{"value":"functional relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508395$B55C50E2-928A-426A-9A02-EDE254441780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443b88756128fd1fcf667e9028fb22284b0172","datavalue":{"value":"finite transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508395$9DD94DFE-9C8D-408B-BFF5-572E627C1F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71d10a47c6bf42f70516d5a729f4dba16eccbd90","datavalue":{"value":"sequential relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508395$3C2206C2-C19C-4A6A-885F-619C32B7C35F","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":"Q4508395$FD5D5F27-345C-4DFF-B36C-591059609AB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77417bcaf98c0cd2760cbcd47d88a2c137aa4b9","datavalue":{"value":{"entity-type":"item","numeric-id":1853731,"id":"Q1853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f631bc84dd7f861116d1dd1be634f6452ce2716","datavalue":{"value":{"amount":"+0.9886046","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":"Q4508395$EED3C5EB-C563-4017-AE29-3D02E99E5D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde294ca5404ba0d8d22f463e9c9bcfb467446b8","datavalue":{"value":{"entity-type":"item","numeric-id":4793132,"id":"Q4793132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe203e4cca19df273c09026b90fac0956f0a78f","datavalue":{"value":{"amount":"+0.8567089","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":"Q4508395$D68CC475-679D-4D87-AC80-DC8DCC0D4FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c87140775ec064c5cf50022e78f920bfd18514c","datavalue":{"value":{"entity-type":"item","numeric-id":4540983,"id":"Q4540983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe203e4cca19df273c09026b90fac0956f0a78f","datavalue":{"value":{"amount":"+0.8567089","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":"Q4508395$5C0F0259-8B43-4A8F-824F-C41202F38603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b34cb5c592b387f3a385d5cad2eb14ef296347","datavalue":{"value":{"entity-type":"item","numeric-id":5005148,"id":"Q5005148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7945cefc5a860144cd6ce6602266b38b1af3ebab","datavalue":{"value":{"amount":"+0.85654926","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":"Q4508395$0A18A628-F5B4-43CD-A4E2-36FDE6296842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36bf1924a37fc487a0b734532bfd4634cac62303","datavalue":{"value":{"entity-type":"item","numeric-id":4453201,"id":"Q4453201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6bb55e3c847ebc8bc596ade5e28824854b356e","datavalue":{"value":{"amount":"+0.8223567","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":"Q4508395$75BB6071-29B1-4F55-929A-E45FC40FE3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a44d571aa6f36d0fe7dfaf1ef4ef36ce13595c","datavalue":{"value":{"entity-type":"item","numeric-id":5092330,"id":"Q5092330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6caf79d63bd7a4333e4653005a6943ca8ee758e","datavalue":{"value":{"amount":"+0.82021","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":"Q4508395$11D78785-BC46-4515-A16E-0B3F879F0430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab361f31ebf220cb8790bbdcc8ccb2122e6b3144","datavalue":{"value":{"entity-type":"item","numeric-id":1575676,"id":"Q1575676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4420757e11e7fee885af0aac92e7a66916b2bc2","datavalue":{"value":{"amount":"+0.80935913","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":"Q4508395$59A0F084-51AB-42E5-9381-78765DB7CA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960641a2e77a7780993a137730c7d0d39f26f92f","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8b560304e685437254443de4ca6928c51e7cb3","datavalue":{"value":{"amount":"+0.8063109","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":"Q4508395$9F30F5AA-8590-4458-8EB9-11D90268D2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbb42c5ec23c9bc15ed8c6baa435a537a2a9db3","datavalue":{"value":{"entity-type":"item","numeric-id":2890203,"id":"Q2890203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c19249960a1efd6a91d0e1df37cc872ed848fad","datavalue":{"value":{"amount":"+0.8062926","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":"Q4508395$CA17297D-E90A-41AA-B807-F36BE04B9CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbb8cd863147beb295c3db490fd27853febeb91","datavalue":{"value":{"entity-type":"item","numeric-id":1398474,"id":"Q1398474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd29cb1d1e1346ab6353ef1dda3720637104eb17","datavalue":{"value":{"amount":"+0.8023493","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":"Q4508395$88F71741-22BF-4CA9-A1AC-A9446F2385A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4508395","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4508395"}}}}}