{"entities":{"Q5234701":{"pageid":7264269,"ns":120,"title":"Item:Q5234701","lastrevid":53547212,"modified":"2026-01-25T06:05:59Z","type":"item","id":"Q5234701","labels":{"en":{"language":"en","value":"Alternating automata: unifying truth and validity checking for temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111172"}},"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":"Q5234701$B5B0EA2C-8FD5-48CD-A901-50CEAE38ECE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b48d5a941577297aee6389e6cf35dcd8dc89a6b","datavalue":{"value":{"text":"Alternating automata: Unifying truth and validity checking for temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234701$B5497CC1-FD91-4A0A-B788-745CED18F595","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0fa9f53bc31aae7a41d70f5b35d5b45d7580e0c","datavalue":{"value":"1430.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234701$83927EA7-1A27-473C-8675-2C3FF099ED17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"407c8518c138a67374c53e010b48d38075135916","datavalue":{"value":"10.1007/3-540-63104-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234701$B55EFF56-A5AB-4CA7-A11C-316CD983A975","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":"Q5234701$56FFFE84-07BA-4A02-9A78-FF4BB4035D73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$77DE5ABC-920B-4469-A2A1-AC25707003B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234701$60771027-920D-4163-8DC5-6E6E7B52FBC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234701$D79A86B9-9767-4AA7-B3C2-5583CE84037A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234701$9F40E112-774B-4BE8-940E-B1D0FD698A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234701$74B42A25-C984-4484-A57F-31C023D8174D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234701$073B1813-5434-43BC-9C9F-CA8B18409549","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dabd94afcc73f618b809c1c1650da58559b20a2","datavalue":{"value":"7111172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234701$CAD6F6BD-17AE-4F2A-806F-7E4CA4554376","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":"Q5234701$5BE87563-37A3-4985-A5D8-E82775EFD4EA","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":"Q5234701$9821565F-30A3-48D8-9F60-AE9F940372AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f61d1f72f17326195b421f0b129056974578c925","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234701$F8CA5B16-76ED-4D91-9928-96EB9B68B6D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b453353bc50855f8e9f018a05c3e0a06ec4bd81b","datavalue":{"value":"W1889008055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234701$E65CC4D5-72F6-4ED3-8BD9-D163FE5ABE79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$F0E8B545-1B22-4DF2-B47C-3ACE11B06F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$E9A6EA78-4EE6-4D7F-B8E1-66F58A010B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$15F55565-5B65-4E54-B859-5B2E6336303B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$46CC57C4-8CE3-4C97-B08C-3ADDD241BC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$0135084D-FA32-4B2B-99AA-98136A5F6F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfeba6cd86a19e7a860f35108ad7ce4126ba3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4037099,"id":"Q4037099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$11DC88C9-734F-492E-A1BF-F60F983D7BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$06B1FA80-1558-49F3-9242-6B3030EA86DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2131bba6823415273c7be26dbfb27eedbb2100","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$6A3E55D4-8C74-474A-8AE4-05AD68A91384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$D8466216-FB6A-4106-A98F-192D16084279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$46E1FD12-3F89-417B-B729-5ED2315132AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$0C57192A-F6D3-4B2C-A68D-AC9BE128F923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f87e0c14123257a7d92334ce438dc07fa1c084c","datavalue":{"value":{"entity-type":"item","numeric-id":4016548,"id":"Q4016548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$6CD33DA3-28E7-48C6-8BCE-C2DA9A15197D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$8992AFDD-95DC-48E7-B811-C0113CCE0A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$F5282557-F6D2-481D-BF17-1D94CE7A0D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$82D53699-FAA7-4804-BE77-772FB59D6599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$1D9681BA-9FE8-48D5-9DA6-D40EE1CF540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$10F224EA-91E6-4ABE-8A3A-4519847375D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$4E9033F1-2C08-4D6C-948A-C5B6A71D4231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7161985b274b14fb28a3ad2e286151fe52dcea0","datavalue":{"value":{"entity-type":"item","numeric-id":4726235,"id":"Q4726235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$3CE0C7A9-A7FB-4713-A164-AAD1A752FFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$6ED5C087-0627-408D-A2ED-55D4475FE5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$099D4337-CE44-439F-BCD0-30CD7FE88CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$4F431E60-95DE-4EF1-8F13-D09167C7D934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267ae0212004177089322e010233b5ddee60b435","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$DD7C215A-19D4-4E0B-A813-B66FB6878FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$80270F1D-F45E-4EB4-88D2-E856F839702E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d813fca75a3d719a33bbcd4c1644084d452a9730","datavalue":{"value":{"entity-type":"item","numeric-id":4490750,"id":"Q4490750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$7926C723-4E64-4B91-B142-9EE2F81A4913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$95F6841F-0108-4341-81E6-DD0B31A58028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234701$6501E38E-E2C1-49A7-B333-1470F15B61E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6ed82a4e071cebe633b229977f5f8f7434700f","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d10e71cfed7ed2fe176cf3cd819288e2408d2fe","datavalue":{"value":{"amount":"+0.8720799088478088","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":"Q5234701$E832B020-E6B5-43C5-A38B-F8EEF0D02F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791ff92a215bb66d971a2775ffed0ebf24a772f4","datavalue":{"value":{"entity-type":"item","numeric-id":1917081,"id":"Q1917081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb011ca022502f1d6563caca0bafdc3d614215e","datavalue":{"value":{"amount":"+0.823310375213623","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":"Q5234701$C0F51279-F685-4B7B-AB05-5CB0E3A88F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d73b38ccbae103af343ec26ab9dd269f852cf4f","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb011ca022502f1d6563caca0bafdc3d614215e","datavalue":{"value":{"amount":"+0.823310375213623","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":"Q5234701$EEA93E3F-BC11-456D-84D8-0FAEB6D7ABA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4bee8e102b748349a6a5d7217c27529f42dbb2","datavalue":{"value":{"amount":"+0.8162325620651245","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":"Q5234701$C9C3337C-43AF-4C67-BA1C-CD5855B58510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45a63a94db310200716c8c1631f52e03f111653","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a8fbc4c70765e370323c26e2fd11f6a1b3eb98","datavalue":{"value":{"amount":"+0.8094199895858765","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":"Q5234701$37DFA749-0473-4496-AC10-6FAF879F4479","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5234701","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5234701"}}}}}