{"entities":{"Q3698787":{"pageid":5728693,"ns":120,"title":"Item:Q3698787","lastrevid":50363522,"modified":"2026-01-13T21:47:54Z","type":"item","id":"Q3698787","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922633"}},"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":"Q3698787$41997559-75D9-467E-8902-DFEE3F5D0327","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cd88d4d5cdd0b1f5e4dbd4c0533c2b0943a5cb3","datavalue":{"value":"0577.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698787$37CD97A9-023D-4184-8CD8-F323EA8ECDD9","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":"Q3698787$517EF65D-E410-4F6C-8F10-365AD6A6AA60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698787$0D10E4EB-C184-4923-B949-29FCD6263F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698787$DAD7605B-A231-47B9-A7C5-C53061E35922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698787$C403E977-C679-4002-88F5-594900D1ACA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698787$6BFD530C-30B7-4BE8-920B-EE2408F1A5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698787$CAA5A11F-1392-4CF7-A8BF-EF9F9EDA2CEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11db42b9062c751400a65c683e42ced893d1df3d","datavalue":{"value":"3922633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698787$A7499793-DD4F-44F5-A18A-358D0F08DE5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc5686446dfb125e7c26737b74873889dd901960","datavalue":{"value":"omega regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698787$393E9DBC-9F66-489B-9441-86DC989795CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698787$7AF66835-4A20-42E5-A6ED-EC8CDB971D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e21deba2c84e6e606abe958b6010a1b4a25328","datavalue":{"value":"complementing B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698787$77DE5FF3-3EA4-4F02-89CA-53E8A55E9F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698787$C2F492B4-1413-4CEE-A747-ABC6339BC06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e633155f0cc26f0288ef4694ec656412f1d3b27d","datavalue":{"value":"Extended Temporal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698787$32AE659E-49C1-4985-A149-BFF5356BA3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698787$3BE1DE37-9CEC-4C7A-82C6-C076A2F803A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bcf6006dc5488e497ee3543a479052b8a214e69","datavalue":{"value":"repeating acceptance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698787$88A51FF5-CB60-4043-B3E2-121FC53EC77A","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":"Q3698787$E178219C-21C8-4015-BEC9-844D9FFED70C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a8e211b83811b0e0a0bc1fa84737ef2884f8da","datavalue":{"value":{"entity-type":"item","numeric-id":1822512,"id":"Q1822512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd275d6d2167b8e839811d9005f39b7532b5544","datavalue":{"value":{"amount":"+0.86519855260849","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":"Q3698787$A46055CD-8764-457D-B508-607202C1CF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2877f283ad5fe2acd3d4434ccb8da6b1f4813da9","datavalue":{"value":{"entity-type":"item","numeric-id":1116702,"id":"Q1116702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8e4b3a968167b7e51769d5140738f08e418ea9","datavalue":{"value":{"amount":"+0.8561961650848389","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":"Q3698787$37DCD06A-2E6F-4D37-BFAC-094F41D6D44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"330e625f62b26c8b69560aa1974f69f682f12864","datavalue":{"value":{"entity-type":"item","numeric-id":4913776,"id":"Q4913776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f7fcae0b66250eca8cf72595c64646f1396dd8","datavalue":{"value":{"amount":"+0.8472362756729126","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":"Q3698787$042C2FB4-54B9-49B3-998E-71FF6616B095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4812e74667e830af80515962e56cb62df67645","datavalue":{"value":{"entity-type":"item","numeric-id":5484906,"id":"Q5484906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1620ff3389c99e7356f90c850faf8fb78ad34fc4","datavalue":{"value":{"amount":"+0.8469294905662537","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":"Q3698787$AF8B8614-3447-4CAD-A26C-FD669198A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce2d5ae8677f8dbaaf06f27ce6827e07f518175","datavalue":{"value":{"entity-type":"item","numeric-id":5394176,"id":"Q5394176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25a25728d80028d98a663a63d0b377dbb1864b0","datavalue":{"value":{"amount":"+0.8445656895637512","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":"Q3698787$B671827D-6EE6-48F5-89AA-43CB453C3768","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3698787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3698787"}}}}}