{"entities":{"Q672860":{"pageid":674709,"ns":120,"title":"Item:Q672860","lastrevid":63421968,"modified":"2026-04-11T12:58:16Z","type":"item","id":"Q672860","labels":{"en":{"language":"en","value":"Logical definability on infinite traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985231"}},"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":"Q672860$85642463-C655-42A0-9215-2EC5986FBD8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"018262efc0d895691c9866828a8171142ee7b037","datavalue":{"value":{"text":"Logical definability on infinite traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672860$C2906B19-9ACA-426E-A345-E7743B4E7A44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df03d692957d3dfae2c29051fbba15fe3e99bcd2","datavalue":{"value":"0871.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672860$40C8FF68-760F-4CE2-9990-7E7BA6C92EFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e67cc8557b34beeec264806e5d83c43e21530259","datavalue":{"value":"10.1016/0304-3975(95)00130-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672860$DCDD69DC-4271-420F-ACC6-1C6DF885AE9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf0476e23358280ce6e7690633195512e246d4aa","datavalue":{"value":{"entity-type":"item","numeric-id":672859,"id":"Q672859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$FBB67E78-47B6-4021-B314-8A91B3AEBA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$B1E56B36-CC35-415F-AE59-BDFE947B70AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$EB6AF2C3-0E41-4620-9A56-3E341267BC6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672860$55C870E2-E3A7-43A3-8C36-215E0E1441E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672860$45B6B1E4-63C9-45F9-86C5-6420400A1B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672860$E6B6483D-233C-48F4-A8B5-4455260B3180","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6db771d83b1b390586d57514077e091f2f72814b","datavalue":{"value":"985231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672860$16C198E8-2D22-49DC-91E5-225521B40E8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q672860$625ED1AA-7665-407C-A913-9066D7F77B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f6ef4fadec3417559a5dfe0d7eaa29b37d93721","datavalue":{"value":"recognizability for real trace languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q672860$84B9FF6F-E19F-4119-895C-87D4A07D43D8","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":"Q672860$7C82580D-0E82-4C64-B4FC-1C4529684262","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa3e550a76956e56f131fb3586321ea2cb48d71f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00130-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q672860$8254567B-9F64-44B6-A54B-1812B3D4A7A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3861085c348f4654116a50cd970541ca35b55983","datavalue":{"value":"W2034083679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672860$C5E999D0-0A15-4937-99ED-4758C2C5F8C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3f3d4284f29707c15dbffe01b4356eafdc3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1107296,"id":"Q1107296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$4B691CB1-0822-4BAE-809A-4704A6803181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5631e23df7eead11b3d71cd88f16f9c6af8b3e23","datavalue":{"value":{"entity-type":"item","numeric-id":5904229,"id":"Q5904229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$56763A3E-1C46-4291-8B9F-DCCEAE3DF26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f809b829ad226aaf187e107ba4f2f8abde5cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1066675,"id":"Q1066675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$4F8CE9C4-B84F-453B-918B-B5F207853A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$AA8A2C03-5C0C-4D0E-9C0D-13221A5014FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$91930C16-9BA4-415D-90EB-CD64E00AFBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3224b3ee4e2065842acb7ecef1d84c9102fafc","datavalue":{"value":{"entity-type":"item","numeric-id":1188891,"id":"Q1188891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$60657A59-5BE8-46C8-91B4-3ED053EF7211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7389e3007cdb61c1a43eddecc239814c821332ea","datavalue":{"value":{"entity-type":"item","numeric-id":685439,"id":"Q685439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$4C6EAE5D-8948-4027-AF57-D2FF3DD7ACE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ea81354c8bdbe612711a0d4f9b865a29e3eddf","datavalue":{"value":{"entity-type":"item","numeric-id":1338892,"id":"Q1338892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$05D89A44-A006-42B6-B13E-832EC5EE6DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f0fcb34bc14db9e31435b24f5733f70168f374","datavalue":{"value":{"entity-type":"item","numeric-id":4035660,"id":"Q4035660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$E55730E1-A392-464C-8C81-5F0BF57EA992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e0764aeed39aa126a10e8f93075b006d5650c5","datavalue":{"value":{"entity-type":"item","numeric-id":5204349,"id":"Q5204349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$0EB6B7AA-D7D3-427E-AE0B-1BAB6DA7604C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465674a287be369bfd827a446dc87303aae81f7a","datavalue":{"value":{"entity-type":"item","numeric-id":1318685,"id":"Q1318685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$CE086F2F-D661-444A-8D61-4BFC02C57A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c963b43b0571f92434f59a81d5038f254e0414aa","datavalue":{"value":{"entity-type":"item","numeric-id":1193878,"id":"Q1193878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$A71B5103-1BFD-4BF5-BC1E-0FB34F09D984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$0015541D-3FFF-46FD-A491-AEA9A1D68A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11257ad52497755f579ea680074f1784ed1f74c7","datavalue":{"value":{"entity-type":"item","numeric-id":3734730,"id":"Q3734730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$B6F19D7C-D7DB-4065-A282-EFE8C0E8C3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3b2dad008e8798709d54196e1a1032baf80921","datavalue":{"value":{"entity-type":"item","numeric-id":3698327,"id":"Q3698327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$1F620CBE-3231-4871-91E3-4DACB80B2D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f57872b55df963de6c9939d692ed2ca987da0a","datavalue":{"value":{"entity-type":"item","numeric-id":1088982,"id":"Q1088982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$BD29689F-6902-4EE0-A64C-285041708227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12550e88f7a4ec578bb5b96ede421ffa2af26f","datavalue":{"value":{"entity-type":"item","numeric-id":3330542,"id":"Q3330542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$46499AA7-C1A5-41F7-9F91-01EE81F06A1C","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":"Q672860$B0B9A561-39FA-46D2-9C60-2B93BAB4CDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$A541593A-52AC-49D5-8959-368336070A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$0FED9C37-14C0-48C6-88EA-EA7E013A8460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d64c4b5dab72504cdcbb4f6c6095768fc09cd017","datavalue":{"value":{"entity-type":"item","numeric-id":3835040,"id":"Q3835040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672860$07E0CC41-3A63-4EB8-82CE-ADB1A9B72E32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fe39122c3eaa07a826fba9ce88a6caf928f3bf","datavalue":{"value":{"entity-type":"item","numeric-id":4630272,"id":"Q4630272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979620ce73753bd5bf47fd266b27c0a076acd6ab","datavalue":{"value":{"amount":"+0.9949705004692078","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":"Q672860$6665C956-0C19-4A48-B480-DDBA57F555E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4a0e8b1f0a8f287c0593ce85c9d6611e9e12f8","datavalue":{"value":{"entity-type":"item","numeric-id":2893298,"id":"Q2893298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a510f3bfb4ce71ae2919c5a223208c018df2236","datavalue":{"value":{"amount":"+0.8442769050598145","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":"Q672860$10E2D4F0-4E10-4616-B879-1C4B653F7CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71479760c4e170b86ed1854d8faaa634199ed53","datavalue":{"value":{"entity-type":"item","numeric-id":4850330,"id":"Q4850330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f41939b70f287dff0a180a99c43ecaf3c19597e","datavalue":{"value":{"amount":"+0.8391071557998657","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":"Q672860$8A901C13-6F7D-4BDD-9760-B9438EAC9BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fce902713fde5d7c8e99feb75de607ce366e28e","datavalue":{"value":{"entity-type":"item","numeric-id":4281552,"id":"Q4281552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14a97cd9b98156e2b98cece0517c699eb267527","datavalue":{"value":{"amount":"+0.8375850319862366","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":"Q672860$ACC70826-28EB-40E6-97E5-E2BF4829B2CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical definability on infinite traces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_definability_on_infinite_traces"}}}}}