{"entities":{"Q3646170":{"pageid":5676076,"ns":120,"title":"Item:Q3646170","lastrevid":80889920,"modified":"2026-05-06T17:14:03Z","type":"item","id":"Q3646170","labels":{"en":{"language":"en","value":"COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5635985"}},"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":"Q3646170$E1A969E0-D8F0-42D1-AA62-6541B09DF3C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"773164ffa19fc1e1b5b9c5461a2a3a6ee2a2a240","datavalue":{"value":{"text":"COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3646170$48270D68-7607-45F3-B2B2-093E82425F9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cefe893375f4b02c08d346176742b4fc733b98c","datavalue":{"value":"1182.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646170$B6F71CD7-F63A-4CA5-9253-6E9282C7EF7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa8ff58921a5112b9a5a73fc4cc2266c6a32018f","datavalue":{"value":"10.1142/S0129054109006929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646170$DA243DF8-1295-4389-8D1F-8BBD8DAD5DA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a5cca4d8cbd754cfd9996a83a925a1a1597b7f","datavalue":{"value":{"entity-type":"item","numeric-id":3646169,"id":"Q3646169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646170$10A40825-868A-497A-BB12-89499E40219B","rank":"normal"},{"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":"Q3646170$1B567ABA-B629-4B6E-9894-1320888A9166","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646170$190A844A-A5C6-4C57-B841-439D526C19B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"578d14626f47760914b9a71c7f4ee295065574aa","datavalue":{"value":{"time":"+2009-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3646170$56DC2A10-C992-4C96-AB22-7D66C97AB02F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646170$F9810CE8-D2AC-4EA3-9D9F-32C3178BF2B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"997b521c9b524d877e9d08a6c32de9c87b8bf763","datavalue":{"value":"5635985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646170$FB24B037-04D8-45B2-AA66-3C444DE0DF24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf79771632436c5ee52037ae2c9654072a7a212","datavalue":{"value":"Feferman-Vaught theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646170$AEB1578F-080A-41BA-B85A-20BFE7C279BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554b83bde98b26770a4af40fe7e9ba556696c413","datavalue":{"value":"composition theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646170$CB0589F4-1726-4394-8B90-E5757096A578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81c2092b6160a1d68947e66b617af1e45a576aa3","datavalue":{"value":"finitely synchronized products","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646170$21C29765-01FA-4893-98FA-4A0B346F168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646170$064619E0-E03F-495F-90FC-5EB1EF967FB4","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":"Q3646170$99F45697-FAB0-4F2B-AECA-8C35F9F81D56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646170$1336889F-E38D-4D6E-B451-23FCBAB1DCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45af815584b281446704023f9f4c0865a4d4836","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646170$3F023265-6C3F-4EFE-A175-EEA3D46CD4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646170$FCF918EC-B487-4F58-B29A-BDAD4772822F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3cfb3d7b3a2926cb83b99ae0b425e1b5d6abd","datavalue":{"value":{"entity-type":"item","numeric-id":5812176,"id":"Q5812176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646170$0FEDC477-8928-4D57-AA79-BD32D12E2342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362d8d85e5479f3ae1495ae2d4a3faf835f96a2d","datavalue":{"value":{"entity-type":"item","numeric-id":4821650,"id":"Q4821650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646170$6B7B54EB-A153-43C1-A6DB-FD15199AF9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646170$A0414E16-9679-400C-9643-6420E6D191A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0790cac319877b4a7d0dc9c5a538477b0c884f01","datavalue":{"value":{"entity-type":"item","numeric-id":4982089,"id":"Q4982089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d951a0b898d56748064bdf6e8cbd29eb13130eae","datavalue":{"value":{"amount":"+0.8590484857559204","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":"Q3646170$2E018023-AF83-4CDA-8FF2-01E5444B2F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586d71cc00cf6dba913f45eb3997e2d3e64ae1d1","datavalue":{"value":{"entity-type":"item","numeric-id":5453498,"id":"Q5453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae72065b99fd9a8d90a3cfc904bbe54df702504","datavalue":{"value":{"amount":"+0.8029060959815979","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":"Q3646170$51C51E00-DC10-4709-832A-6952A38ED53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6ad1cb74c851c5ccbf77ee50e27b9083d6dad6","datavalue":{"value":{"entity-type":"item","numeric-id":5277769,"id":"Q5277769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb49686ea1ea8783e099b6fb2565abec4fc3cc6","datavalue":{"value":{"amount":"+0.756293773651123","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":"Q3646170$FA64630A-BE4D-4A07-8AB5-3C09B63CD485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b6a53a1affc562967ec506b64a6cc88383f862","datavalue":{"value":{"entity-type":"item","numeric-id":2904757,"id":"Q2904757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b201e4f412cb76c62f1ec25ee817d5b63c78ac17","datavalue":{"value":{"amount":"+0.7433458566665649","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":"Q3646170$1806A873-EDEF-401B-819A-C6660DB1C208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d2ab89ff115c98e13892b5f49cdc1dc3afc3ac6","datavalue":{"value":{"entity-type":"item","numeric-id":5200059,"id":"Q5200059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a99ddf388798e21f5dc38923c812f73b6860bfd","datavalue":{"value":{"amount":"+0.7211103439331055","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":"Q3646170$8AA99DA5-E5C9-4CC7-B517-7FEF98A59263","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/COMPOSITIONALITY_AND_REACHABILITY_WITH_CONDITIONS_ON_PATH_LENGTHS"}}}}}