{"entities":{"Q1854353":{"pageid":1865095,"ns":120,"title":"Item:Q1854353","lastrevid":71504817,"modified":"2026-04-13T22:42:19Z","type":"item","id":"Q1854353","labels":{"en":{"language":"en","value":"An until hierarchy and other applications of an Ehrenfeucht-Fra\u00efss\u00e9 game for temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853111"}},"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":"Q1854353$D418A2B2-29E6-4489-8AE4-01CCD0BC02E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d72f64cca4cbeab32356ffe9a3afe35e18703e1","datavalue":{"value":{"text":"An until hierarchy and other applications of an Ehrenfeucht-Fra\u00efss\u00e9 game for temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854353$9E9BA1F2-4D23-4342-8D71-76A0DFA93A2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ecce748481f07372ded01a3b27950700e29c9e6","datavalue":{"value":"1005.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854353$9CB8FED4-D106-4F83-A55B-DC7161881CF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2680b29e301ca65d036ea477d294af6c3aa1eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":294840,"id":"Q294840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$559DC00B-31F8-4E48-8C1A-F36332442CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$BE321A27-2C9E-4196-83D2-6598331BDA27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$AB2B713F-1850-41EF-ADAF-B4084FFC4DB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854353$3DA58E2B-9C2F-4E89-A1D0-E90B052A6D7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854353$8009800F-F5C9-4A4B-B146-6FAB6DED88F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854353$FC662F32-0C3E-45D3-B400-C4FD5085A2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854353$8EE33FE8-46CF-4D68-BDB9-BD5C6B69A687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854353$C76FF3A8-A252-4118-B446-30159EEEA0A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c5a0df000d9bca13fe924e04366c80197347f22","datavalue":{"value":"1853111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854353$152BD000-D28B-490C-995D-3AB3512EF7CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854353$8AAD45CC-B660-4887-86FE-A9E965DBB025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8efec1cc31e077ee604f97aa54d0b05423ad1a88","datavalue":{"value":"Until operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854353$F814DF29-9E11-4C4B-A3EC-E232E606A3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a76c8cde339c3dc8ab69893a2bcecb8b636a6b9","datavalue":{"value":"Until depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854353$30881740-3105-43C0-BDDE-2FA05056378F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854353$ECC5784F-04B9-423C-9FAE-FFDF654DD2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc9a5bf48df8b2b432eab4f4883ee6a8f29e922","datavalue":{"value":"first-order expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854353$AB5E4231-9672-4DFF-8BC4-FF37454A9895","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":"Q1854353$9D271A52-DDFF-4A80-AE68-7F27F8D96A8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6de7bd26c835df66b66aacd84dfb5dfa7cd8f42","datavalue":{"value":"https://doi.org/10.1006/inco.1999.2846","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854353$47A4FE5E-D876-4CCF-BA0C-6628C050BFA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02ff67aeb24585347db9941169a255a9a2241fb2","datavalue":{"value":"W2050398281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854353$C5C1CAFC-E3FB-4199-B08D-9201E2560E2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bdb3584bf37c4e8fce40fdddd3928343a6b73","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$3196F428-5EAE-473B-B148-3505D2D4DC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$89B37E30-DFEC-4AE6-94D7-9D011104454C","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":"Q1854353$712AF444-266E-48BA-A42B-A6E13D4A8CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb7d5ef3eb356038217081da936504becb73708","datavalue":{"value":{"entity-type":"item","numeric-id":3230355,"id":"Q3230355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$101EE453-6E53-40A4-BA61-8765A5614A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$E570A2D2-C365-4EA6-B025-77D99A289624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631dd448ed94a161dd5275cc06d6f96081ad289f","datavalue":{"value":{"entity-type":"item","numeric-id":922523,"id":"Q922523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$DDA48835-8809-4E94-A815-B30502895738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$D29D6DEE-EDB6-47FF-B027-10EBD0D21DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$C9316693-8DFB-4A5F-BDA3-78B6C9802D69","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":"Q1854353$B0CE1940-EF75-4F00-98D6-D1F84D748F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9939d9a4a30150573632610c3ed20aa1ab1b1da8","datavalue":{"value":{"entity-type":"item","numeric-id":1207955,"id":"Q1207955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$EB477299-AD3A-411F-995E-106FC51AFF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$C89ED966-4399-4A8F-89F5-38BC424E4D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d656fd977434c5cc9c5eee96756a0a1ee7a004f2","datavalue":{"value":{"entity-type":"item","numeric-id":5044763,"id":"Q5044763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854353$71A5B57F-C281-4C30-B655-25BA04B78C5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2059d731df981334b592ef635edc1c1a3e89a13","datavalue":{"value":"10.1006/INCO.1999.2846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854353$C40CB76B-051B-442D-BCCB-1A9930DB1F1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d5b39c88b37ecbdc9e28e00f062e500560607c","datavalue":{"value":{"entity-type":"item","numeric-id":2784480,"id":"Q2784480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a17bd7d93fa8b600a30efd29835f7025d326b2","datavalue":{"value":{"amount":"+0.8181433081626892","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":"Q1854353$9C009407-3FDC-441F-A3B1-53D1F8DD9E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305ebaae1922ef8637bcc2de37278bfe67c3f566","datavalue":{"value":{"entity-type":"item","numeric-id":705066,"id":"Q705066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab014864a0f22b96655199b2bed3a6637595059","datavalue":{"value":{"amount":"+0.8109100461006165","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":"Q1854353$58C67AB2-DAF4-427C-99F6-020491E598B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2ccea7a40178ef33e16bbbeb0dac3c257bfd61","datavalue":{"value":{"entity-type":"item","numeric-id":4736862,"id":"Q4736862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbac80b548e115d46db7b91c23e69eace820f6dc","datavalue":{"value":{"amount":"+0.8102327585220337","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":"Q1854353$9BDB5DB9-B83C-4E2F-AE0B-F89881088D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1cea447b8d1c038bc75fc3e341ad825254526d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854487,"id":"Q1854487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078f24bd88a1a8f6e2aaf8b1eae1a430f1b85888","datavalue":{"value":{"amount":"+0.7941988706588745","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":"Q1854353$829CE8CA-4909-4132-8D5E-B479E54E73CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c66795d2dfe0151d121cd419e193617e927ee2","datavalue":{"value":{"entity-type":"item","numeric-id":5897680,"id":"Q5897680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80b258b78fc33a9cd14121df62d80ee1fdd6c6c","datavalue":{"value":{"amount":"+0.7766129374504089","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":"Q1854353$55E489B5-932B-4145-9780-95C74E000632","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An until hierarchy and other applications of an Ehrenfeucht-Fra\u00efss\u00e9 game for temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_until_hierarchy_and_other_applications_of_an_Ehrenfeucht-Fra%C3%AFss%C3%A9_game_for_temporal_logic"}}}}}