{"entities":{"Q3715089":{"pageid":5744995,"ns":120,"title":"Item:Q3715089","lastrevid":50615915,"modified":"2026-01-14T14:13:32Z","type":"item","id":"Q3715089","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3943779"}},"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":"Q3715089$9AC09B49-F92A-4FBC-92F1-AD81E031A3A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81187041c321112f6027e9ae4030e49223e36489","datavalue":{"value":"0588.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3715089$C817866B-DF48-4B1E-AA4C-CABC2FFD1654","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12ff7b13446a7b0e4f09a7ae0298c5a8dc977a7b","datavalue":{"value":{"entity-type":"item","numeric-id":1401291,"id":"Q1401291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3715089$23A03F92-1662-4B0E-A839-150A50A82503","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3715089$A0125558-4C84-4D68-AB25-60EC10708CC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3715089$A5F8261D-A71E-475E-A14E-819AF78AA787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3715089$698C1299-5CB4-4061-A6EC-C22F0B432B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3715089$25002394-501F-4E0B-A3D6-998610A15BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3715089$7EC2B13A-C973-4585-B0B2-E18F7520D59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3715089$6EDB58DB-88AD-45F1-98F2-0FE047EC3340","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c872dfefbf1869738d688a0436aac3c26062055","datavalue":{"value":"3943779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3715089$08CBF92F-BE27-4E98-B2FA-D811CE39C11B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3715089$CE34DAA8-8818-4394-9F16-4DABEAE7EA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f723ba2d4769ee67824ff01e21c5df9914ed8f","datavalue":{"value":"decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3715089$FD9A4FAC-EF09-4218-87E4-86F7B583F50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214b85cb827ae56384088094ceb72f107a0a3ee6","datavalue":{"value":"second order monadic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3715089$7C857A53-9469-4A75-8E93-1D59FCBF2A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5b16bfaeb36a66ebcd919ee357090a5701c1831","datavalue":{"value":"Discrete propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3715089$F8A58320-C1D1-4EBF-B68D-1666795B9281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3715089$91053002-60CE-4A10-B381-2F0D88C9B0F9","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":"Q3715089$32862332-13B8-4A57-9667-7F9DC597E206","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e3026b100c6ebe7f5391a3ce519de802324d9e","datavalue":{"value":{"entity-type":"item","numeric-id":3338212,"id":"Q3338212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab748d0d2b941c3a7498b708872b28f71a0e9be1","datavalue":{"value":{"amount":"+0.8078941106796265","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":"Q3715089$83924231-26E0-4F44-B22D-1A0B585F4E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0842a49a243719e6881265402799785950063d","datavalue":{"value":{"amount":"+0.8070653080940247","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":"Q3715089$9E504456-46F1-4EDF-97EC-34A30F8AC163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a707b43a5c058f41706871ec055eff77dfddfb","datavalue":{"value":{"amount":"+0.7952942848205566","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":"Q3715089$C97B25AF-3932-4E85-AB3E-66D0BEB3A8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33aacd48194b9c65546a2de2d628f2534837ee4","datavalue":{"value":{"amount":"+0.7936570048332214","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":"Q3715089$95DC82C1-E9C3-461F-8ECF-3D419A84F8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a8423c3d267eec031c12e5b2660d82a966d046","datavalue":{"value":{"entity-type":"item","numeric-id":800722,"id":"Q800722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f4fd26c978108f00c073745df842b30897ca03","datavalue":{"value":{"amount":"+0.7914626598358154","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":"Q3715089$C9770E44-0BAF-41DA-B3A3-E1BFA690E15A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3715089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3715089"}}}}}