{"entities":{"Q4353561":{"pageid":6383160,"ns":120,"title":"Item:Q4353561","lastrevid":46939926,"modified":"2025-12-25T21:45:12Z","type":"item","id":"Q4353561","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1059246"}},"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":"Q4353561$FF5B9D02-B741-4D4E-B647-2411DB452E46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3736ab702d6bc2fe450ee5962950ac6ea3b9eab","datavalue":{"value":"0881.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353561$ACFF4337-9708-4190-853A-AC31E68A2447","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353561$1724B39C-34D8-438D-A2F4-7D001D42DD40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5b0fc95b875540ac51248d37b76d8d5d31061d","datavalue":{"value":{"time":"+1997-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4353561$36D590AC-2329-4B74-8A55-EC367CF886DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353561$66461079-45FA-401D-AA95-550EE72CF462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353561$0EB52C28-3CA6-43E4-82B0-9FC5AD4EC841","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5097f6d4ac39210ef88d33ea0f5180523a2bd3f","datavalue":{"value":"1059246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353561$76C74323-82CA-448E-AA08-25376375DEAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353561$7D301C1C-A434-463F-9FB6-BA79AFC43C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353561$47FD2609-4D71-42AB-85BD-BD664D4351FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec65ebd7481afa966d18bd40ae3753cc3d63ef56","datavalue":{"value":"computation-tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353561$61EFFB81-F15F-4A59-B7C9-5B6D21967DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353561$1D13E760-0FF1-4ECC-A239-DBC87D8CA30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bc10b42bb3d5f1b5644a1af9459dff460393cd7","datavalue":{"value":"tree-model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353561$5F12C7C7-39FA-4253-A146-66E2F615804D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c59c3edb1f5fa5cc58efd46afafd0ab9cb71bd08","datavalue":{"value":"automata-based decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353561$8CE60DAA-DC29-442E-B134-A231858A0C52","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353561$03EB6E98-6590-440E-ACF3-3856FA297CCE","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":"Q4353561$2CC9082D-9EE9-4A58-BEA5-8D7B97014376","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b2f30829efc1de98a1a19a11a962f6e39eb7ca8","datavalue":{"value":{"entity-type":"item","numeric-id":4266483,"id":"Q4266483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b1d75ba12eb474020ef075c709871ce52696ff","datavalue":{"value":{"amount":"+0.8905478119850159","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":"Q4353561$C8F40920-C3F0-4BAA-9356-800034559E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f104792b223736a01f2dede804bd80df3f430f5e","datavalue":{"value":{"entity-type":"item","numeric-id":1284704,"id":"Q1284704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af1a747d572dd246424c2715670c8cfdb3e037e7","datavalue":{"value":{"amount":"+0.7738786935806274","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":"Q4353561$D8BD3A0C-5B07-4D8B-94C1-5E073A20C235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbae6fafa873b776d56141c1686ea0d10f5c1ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103affd673b82c4127ec68b6480362da1d30af15","datavalue":{"value":{"amount":"+0.7685125470161438","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":"Q4353561$087195EB-321D-46F7-B864-313CA2F1BF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87dd66e300a0dd95f3d9f97d7abf8f5954e1d02","datavalue":{"value":{"entity-type":"item","numeric-id":3718681,"id":"Q3718681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0935d62d4d2db3b68edadda3c020406ea60caac1","datavalue":{"value":{"amount":"+0.7658552527427673","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":"Q4353561$68C19C93-297A-4126-9E3F-B5B97A56621D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4353561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4353561"}}}}}