{"entities":{"Q3496327":{"pageid":5526230,"ns":120,"title":"Item:Q3496327","lastrevid":49427188,"modified":"2026-01-07T03:33:51Z","type":"item","id":"Q3496327","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170887"}},"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":"Q3496327$4F0D4732-EDF7-46C5-A827-4D9A7FC82D7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33a4d95e55f08b7d04c4be06b103330f2a92eca4","datavalue":{"value":"0712.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496327$93AE478F-8858-43CA-A1C2-B0F980BE4685","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b374abee4764b598aaa6e3483a6439c684caf022","datavalue":{"value":{"entity-type":"item","numeric-id":1885720,"id":"Q1885720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3496327$0E40EF1E-92A8-46F3-8B7B-568A2752D583","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3496327$71F4B687-6D3B-4B6E-9508-AE4E354BDC9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496327$00F92E5D-D38F-4C07-85C9-F9FB7BA71ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496327$A908936E-9D8C-44CC-A1B6-44BD3F4AB1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496327$467A10FB-ACFA-4B8D-A177-6086770263C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496327$BA89D5E1-129A-4711-B337-E0AED9472793","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86e398abb5d77b0e3cdd87019e471180f2880273","datavalue":{"value":"4170887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496327$3258D077-BBF7-4FC8-9CDA-CCD8BE91CF94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496327$1B83A363-69EF-4181-B763-3D902EA574B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496327$D331B7FE-CBBD-4CCF-9FB8-3B11B96A6F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496327$CF27C9C5-E12B-4214-851E-F89FC23D6822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7150f4473c5e3fdc373926ff24e97339f428755c","datavalue":{"value":"free automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496327$5ABAE4EE-2F05-4104-A65B-8BFA34EC10B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8706779075e3b6b4c70864594df4a3ecaf4ab4f3","datavalue":{"value":"alternating free automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496327$C733639E-0EDF-4087-81CE-C652B878907F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad9cc806f85179c74b9c99349ba3a2fbb3e6485","datavalue":{"value":"polynomial time completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496327$EA0F1860-A52A-48FD-B96A-108EDEF252A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfded98921fb7d9cf722f229333546d869ef30c7","datavalue":{"value":"satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496327$42BCDC2C-49C6-4FCB-B4AE-E84380D8D73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496327$E4A861C7-5517-472E-929E-EF710264714B","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":"Q3496327$848697D4-5955-4FCB-BED7-8B1161B1FED0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1990bcd9d5aabd531305be39c8d07738991a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15c2ddd74e07c56afe646c1e120b9f56afbe89a","datavalue":{"value":{"amount":"+0.8855886459350586","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":"Q3496327$3CA9602E-C729-4EE7-B12A-3BD705F149FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982e6f58388861cd999ded83376c67f25ff648df","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d607b367a261cf81eb35c050508414f689ae3b94","datavalue":{"value":{"amount":"+0.8225803971290588","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":"Q3496327$DB28035C-1112-4900-AB9E-CDE41EB03809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa8bcf4a6e5e5c47d8f56333094c825f8422521","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac09bc917290d07ab723ddddbd2dfd2c70f9fb3e","datavalue":{"value":{"amount":"+0.7956874370574951","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":"Q3496327$1EE6146A-DD91-4796-8A8A-4F6504034756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48903d2bd0b9073841885b1a09153ee9363cef3","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e9c2ffb15601730ed176fe491759432a0ce0db","datavalue":{"value":{"amount":"+0.7861958742141724","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":"Q3496327$C97D4F2F-6955-4671-819F-BBF277381B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f2b2dc5add5ca8910de13f750b64d1a381a1f4","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bafd8ea7b587e90f9e5f5cc46b7e901ad183ae18","datavalue":{"value":{"amount":"+0.768191397190094","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":"Q3496327$B6D3EA68-C363-4B99-8B58-3B68C43FDD1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3496327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3496327"}}}}}