{"entities":{"Q4630272":{"pageid":6659854,"ns":120,"title":"Item:Q4630272","lastrevid":53402135,"modified":"2026-01-24T21:52:22Z","type":"item","id":"Q4630272","labels":{"en":{"language":"en","value":"Logical definability on infinite traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045125"}},"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":"Q4630272$18783C62-3158-4E75-98D8-71DEA272C9D7","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":"Q4630272$CF00E4B1-6342-4CC7-BD07-9D23629F1BEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b9ecc5ea3665de95017d1426f7a5e9ef7c046b5","datavalue":{"value":"1418.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630272$6A8BFD49-365B-4421-91A1-7C520562F0EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a59227ce2ce4cc72e05e0bd92135cdea7ce823b","datavalue":{"value":"10.1007/3-540-56939-1_84","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630272$2E323CCD-DC66-4061-98D6-A83EAAF7ECC4","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":"Q4630272$ED3790F6-15F1-41A8-87F3-828DF88956B7","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":"Q4630272$2E0BF3D2-352E-4531-9492-C748695B8CD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630272$736E53EB-723C-4CA9-B6BE-E697C1CC1E48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630272$9245662B-A4AE-41FE-8E6D-0C7BF5B5D92B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630272$7F8AE03C-8B2A-4A9A-B5D1-7576A65FBDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630272$596B318A-9122-4DCF-B502-4E6F452E7784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630272$4E9CBC99-914F-4F35-A5BA-2CA545DCA802","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"615b5de62526025b86a035b227d1316a488893b5","datavalue":{"value":"7045125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630272$465CD1D8-89E4-4ECD-BF0A-59E69615B87E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb98f7db1820153f6b7d89d5acbc15872daab2fe","datavalue":{"value":"free variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630272$D6D62889-6D3A-4E0D-B8E3-EEAEE6B0B5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e550e889f00ad92c92eb888df704d788ee2875","datavalue":{"value":"dependence graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630272$D1992C67-8FC5-4343-A6EE-491305369550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630272$DA908CEB-A93F-45B3-9EBC-4C05D065FACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81973e3fdffb8f7dacb3816b946253b9196f6b4","datavalue":{"value":"Hasse diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630272$1EA4CA57-5E65-4A70-B3E0-BAFC867ABC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91d54445cd84cdc32fedf222f5fe79de1ccb78d7","datavalue":{"value":"recognizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630272$904679DB-CC53-43C3-9090-B0ACB0E253F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbc1228634c93325a61950377a1f4df9de19eb24","datavalue":{"value":"real trace language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630272$7C107304-35C4-44A5-A98E-39971A0B430D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73933cdd296ec0b305da46d595df556468b6724","datavalue":{"value":"infinite trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630272$587AB726-6F5D-443F-AAEA-B3189C86D37F","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":"Q4630272$3D46A73D-77A1-427A-BF3E-25A3B8539CA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e902673fa16ce323705c48b42350a1e38895d2db","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_84","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630272$B4DA58B0-1A0B-430F-BAA0-565111AAD193","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b79134e8a9131f909ae50445ab56efd05a195bdd","datavalue":{"value":"W4232688024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630272$9257AB07-8F1A-485E-A844-D41EE27773FA","rank":"normal"}],"P223":[{"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":"Q4630272$BF005F64-F981-459F-A896-2AAAA206A18D","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":"Q4630272$F132C753-FF48-4578-9B70-8BE9EC746D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf863f54a7b5b61ab2956c2c67d3998a92fbdef","datavalue":{"value":{"entity-type":"item","numeric-id":4035661,"id":"Q4035661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630272$216EE7A8-E914-4C1E-AFBF-DAEFDEB5A28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e41f428b37f853c0323bb5126ffdbf5085522bf","datavalue":{"value":{"entity-type":"item","numeric-id":4281564,"id":"Q4281564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630272$A1A7C7FD-DC3F-4BA9-95C7-92A4BAA3899A","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":"Q4630272$3129ECE9-2AFC-4E81-BE5A-834970F6CB73","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":"Q4630272$42C11307-5671-42C1-8856-A5DEE0BC19FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a6c071c6e2d18eb21a8b04c6da14687ed1a771","datavalue":{"value":{"entity-type":"item","numeric-id":4036568,"id":"Q4036568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630272$57F34FD7-4A68-49F0-8ADD-4C03437E0E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c389721280263d5d2d909362c1680e44bb36a0","datavalue":{"value":{"entity-type":"item","numeric-id":4035659,"id":"Q4035659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630272$B23EB895-2016-4DC0-B24B-007D0230780D","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":"Q4630272$0967C347-0C7E-4767-84DB-969AD56D8230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6755a5ba9b0dffa9eb25b5ec62f1a57c213999a","datavalue":{"value":{"entity-type":"item","numeric-id":3738586,"id":"Q3738586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630272$34DB270A-6227-4C86-9944-410A0045FCE8","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":"Q4630272$D83F0DA1-D15E-4743-BA54-A147B8291A8B","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":"Q4630272$83542D27-D654-4C22-A9BE-2A1A9B2A2471","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":"Q4630272$282B015B-7BC4-455F-92DE-CF72E64761FF","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":"Q4630272$FE60BE4F-679C-4C0D-81A5-F09F0A45357F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd4f2bcbd852349f57ee0790d83ab13ddddec63","datavalue":{"value":{"entity-type":"item","numeric-id":672860,"id":"Q672860"},"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":"Q4630272$EAE3A995-0F85-4977-9473-E15FA0D9013F","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":"124ebe5f73b048abbb76dab2fcb2d22baccd49a9","datavalue":{"value":{"amount":"+0.8527548909187317","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":"Q4630272$A00183A6-ED4E-4271-80E2-72B0EC0794A9","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":"357d0bd401f0d23a9f55f88e94abad9cee9489fb","datavalue":{"value":{"amount":"+0.8465734124183655","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":"Q4630272$04251132-95FC-447D-A1DE-F2C8E9DF7F9B","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":"bfa7d5579b46e78aeb9707a24d6066affe5750b8","datavalue":{"value":{"amount":"+0.8464052677154541","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":"Q4630272$C0B85462-D4AE-4060-88DB-7A2B0F6F4F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9744f14dace30910cc69859cd7b8a9c21053e28f","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9737b7e73a5e42063cde8981c57ad3527afb0c5","datavalue":{"value":{"amount":"+0.8373454809188843","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":"Q4630272$BBEAC968-F94C-4DDC-9B9E-F6F8B9062D95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4630272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4630272"}}}}}