{"entities":{"Q5190790":{"pageid":7220362,"ns":120,"title":"Item:Q5190790","lastrevid":50727767,"modified":"2026-01-14T23:10:42Z","type":"item","id":"Q5190790","labels":{"en":{"language":"en","value":"Path logics with synchronization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587283"}},"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":"Q5190790$D9D0B824-D70D-4FD2-ACE5-28A80A0C827C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5b207bbf78fcb93549f6af7ea97489cd309faf2","datavalue":{"value":"1230.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190790$96EDB444-37D0-419F-9032-662B36468485","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190790$7DA9A3CA-6D00-43E5-AD85-65120D218098","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60ea8f72fb34c12d98efcbb4ab2f5f6bfd76074","datavalue":{"value":{"time":"+2009-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5190790$9B23604E-46ED-47B3-A400-A1A549EEB8B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190790$708EEC5F-3393-4539-9F79-D3EBD617BC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190790$B43961AC-C80E-4B2E-8DC5-CBC8B95D243D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190790$057D8855-4404-4083-B5EE-4A6E4EF18439","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8085222611b151e626e872255ddcd4f506c6c9cc","datavalue":{"value":"5587283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190790$A4D4542E-2CCA-489B-8F14-6BCAD3D1339E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190790$AC9FB52D-6410-492A-A0F3-0C8C28ACF835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190790$9F12694A-E7E6-474B-88F9-D0B7C0A85382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92667fd6f00c56206d05e042e4c9aa4d6d299bd9","datavalue":{"value":"path theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190790$9E5841CD-588D-4DAA-BC99-23D2EE37CA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cbfb8bb6746b387477579fc5e4c72df3116e4a1","datavalue":{"value":"chain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190790$8FACA83D-1240-4484-BA4A-3240D89ECEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99a8b4684aea01ced9057705f15aee4e35cb62ae","datavalue":{"value":"synchronization between paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190790$82335C7B-AE53-4E44-BDCC-DE0D5CC83C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51017d0538ad9aea8a2426de94a4edbf5fd3f801","datavalue":{"value":"path logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190790$F95D33FF-6863-47AA-A4A7-11A4F62AE5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa189fb3670cc049ee2206b1a0c9fceef69c89ef","datavalue":{"value":"chain logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190790$5201C63D-A2D5-4A58-B0EB-8EA46811F6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0afe3c0a64dc629f5a9cdc425403edf20cf3ab17","datavalue":{"value":"infinite two-dimensional grid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190790$CF11B2A4-E378-4F96-9AB8-AD99881E6F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe24833831a54a220fee080df51e22e08d1caf1d","datavalue":{"value":"infinite binary tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190790$00E635D9-6297-4706-92DA-19FE0C25C0EA","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":"Q5190790$7904E289-7C4C-476A-86C7-501B8E20A7EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46c697427444da732354e450e4b3cb23efc5eea","datavalue":{"value":{"entity-type":"item","numeric-id":4965866,"id":"Q4965866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331052aa098d3f684298153cb8060ceacbabeffe","datavalue":{"value":{"amount":"+0.7981284856796265","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":"Q5190790$88CC2372-0755-4E36-952A-FE4102CF1EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21960bbbf31b9ac04958f134836bc62cdcf36f69","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb44b4dd1ec91d1c44e42c98e7c9f8dede09ffc8","datavalue":{"value":{"amount":"+0.7345607876777649","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":"Q5190790$8FD2D90C-E71D-4841-A9C6-886749ADDFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea59e9d8f45e4126c9bd052aaf0ace2312adfe6","datavalue":{"value":{"entity-type":"item","numeric-id":843605,"id":"Q843605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1b757ba17550dfa5dd3092376af05dbb3add98","datavalue":{"value":{"amount":"+0.726077139377594","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":"Q5190790$C1C730C9-241D-4114-AC34-63EC7B1575D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0798c485e306b21f2fc416c72ebb4b5d87623c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5753939,"id":"Q5753939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af8f07423caf641be0c7cfa2e04acc49ddfb425","datavalue":{"value":{"amount":"+0.7249630689620972","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":"Q5190790$B98CAA94-2404-4D82-8EAB-C87415E958B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8143819b1ea4a3255b7178e2169f8ea3e2c1aef","datavalue":{"value":{"entity-type":"item","numeric-id":4598239,"id":"Q4598239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90cdaebf02acf33467f8f62cd4dfc1cf469faf64","datavalue":{"value":{"amount":"+0.7214719653129578","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":"Q5190790$13D722E6-8142-4389-8C33-297CAE6CDECA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5190790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5190790"}}}}}