{"entities":{"Q1744429":{"pageid":1755171,"ns":120,"title":"Item:Q1744429","lastrevid":53069771,"modified":"2026-01-24T04:08:40Z","type":"item","id":"Q1744429","labels":{"en":{"language":"en","value":"On regular paths with counting and data tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862960"}},"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":"Q1744429$52522DDA-F132-4039-BB98-B78DA64BDDAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf11c79fa94ee4bf7d963dcf73fd9fd93830a5f1","datavalue":{"value":{"text":"On regular paths with counting and data tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744429$1C8A2DFC-27A6-45D7-A9D6-BA074390C817","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd508c01f7b3ea82c26d4f8ca2fa2eb931c25a21","datavalue":{"value":"1394.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744429$B50ED04E-FC35-4D7F-B8DD-DB894A22C5D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab1042abd1c85852a7b5e02c97fa5b89dcca6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1744426,"id":"Q1744426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$12C1F206-8DD9-4F82-B92D-2DA43734B7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e95eb283b7819ade510d6e374387fcf95ab54397","datavalue":{"value":{"entity-type":"item","numeric-id":1744427,"id":"Q1744427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$DF60253F-5165-4A03-B12F-0D3F0EC7C29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f371cf19b7ae728fcd0820a0042ff06b7eeb42c8","datavalue":{"value":{"entity-type":"item","numeric-id":1744428,"id":"Q1744428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$44E7B621-E629-4470-AB8B-7EF488E08B00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744429$0F8E10AE-3794-42C9-8A9F-97860026350F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744429$06BF6327-D9AB-4B85-839F-2FAE2A4F6C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744429$344132AB-75E0-488F-95AA-96298F3E710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744429$347189A9-DCAB-44C6-AE3E-72CF1DCD4F58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04e4a59b62222acc9e16a04d05325ce9a9f99635","datavalue":{"value":"6862960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744429$C05B5AF2-2D7F-462E-B96A-BFD772684C13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744429$B43EEBC6-E140-4127-B5BA-26266C08ACF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465f3fa6b1459634dd52b912fbc3e0aa6b85ba4b","datavalue":{"value":"XPath","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744429$B72B1675-0C91-434C-AA94-961B80252259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744429$39DFBAC6-A981-45C7-86A1-AA2AD0E00A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfcec6116cdb5493b34a38f5d7566149d7933705","datavalue":{"value":"data trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744429$17E778F8-71C4-4550-ACFB-2979FF2F12CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa64eae916ac50f9d0bdde79696d641a11ea4cba","datavalue":{"value":"counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744429$E996E7A7-12C2-4EA1-807C-79020A9C821D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$19B5EABE-B94F-4B4C-915F-FF0741BF7C1F","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":"Q1744429$EA889814-4574-4E4C-8646-6CDE1BEEEEC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"059e9bca7526c36831829ae5929b7b4561d20d49","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744429$0DFE27F9-049D-409B-8106-F539F839B76B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c51fb0098360c755095f9b6acc4c2f7362a01c4","datavalue":{"value":"W2563722128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744429$16B4FB37-C74E-4518-8991-89F8E47169A1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6f437a2a7d9381b33a065b2a19fa278818fd4d99","datavalue":{"value":"Q113317624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744429$D2D96E5A-DF47-463E-9326-73CD48CCE5B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"455608804728f3c69bb4021a4b864b3d2ba6c3c4","datavalue":{"value":{"entity-type":"item","numeric-id":4979448,"id":"Q4979448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$DC3CC411-05C8-46A3-8190-8CE5C8F71A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0b1bb1ca34beb629e9bcb5733672d68fd0987a","datavalue":{"value":{"entity-type":"item","numeric-id":4927423,"id":"Q4927423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$35551D68-D9DF-4F94-B5CC-224074ED5F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$7DAC17C6-1204-4DCB-AC2B-D12221CE7CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$D929FBB5-F9A0-44AE-BFA7-5013E521403B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86db9e07dc424166a6ccd3763121bfa0c82ec305","datavalue":{"value":{"entity-type":"item","numeric-id":3167004,"id":"Q3167004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$1AEF8FA9-0C50-4B82-8CA6-1D58A71084BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d7f3b23d601f4f353a56427753cc075ebbe7b5","datavalue":{"value":{"entity-type":"item","numeric-id":3452257,"id":"Q3452257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$D6059488-E288-4084-926A-17E79EA1C482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95476e9979912a43de064ff1992e45b3ccac7ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2638188,"id":"Q2638188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$83D37B7B-5D27-44F0-9424-5D61E3136C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81679e147a0ee7683331f7c9c4c753b49c7f63f","datavalue":{"value":{"entity-type":"item","numeric-id":2946683,"id":"Q2946683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$6A5E29A4-C67B-4977-BD16-48432465F87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4dc9c0f2068d661e733ff62de3e2b444cfb598d","datavalue":{"value":{"entity-type":"item","numeric-id":2941736,"id":"Q2941736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$A0B2CBF0-641A-45ED-A79E-86B8FF828DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de5e757171dbf7d8bc971930090f20308996ca2","datavalue":{"value":{"entity-type":"item","numeric-id":3113675,"id":"Q3113675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$04BB1B1A-6ACE-4756-8D7E-167C58961404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73063c970b0e685254c2fc6a25c84910cd005a","datavalue":{"value":{"entity-type":"item","numeric-id":2804201,"id":"Q2804201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$086FDE48-FF8A-4163-9574-E6BABE3BC4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946fdb05a1b2cdc6c5e8f1eddefe4e92f4cbf919","datavalue":{"value":{"entity-type":"item","numeric-id":2947894,"id":"Q2947894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$D40E3E47-0111-4C6B-AD59-283CD2DB3A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac7edbb9a8bc5dbb13b1b5a27b5c86f49c39c1a9","datavalue":{"value":{"entity-type":"item","numeric-id":3086934,"id":"Q3086934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$FCD42FEF-DC22-4F43-B08F-4B43C003C785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52d77bd58017b65cf0621d4a9a2bb89b68fc062","datavalue":{"value":{"entity-type":"item","numeric-id":975868,"id":"Q975868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744429$C144C31E-356E-4F44-A573-B527AA1D9E8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5173fd159f2e964b63d322c412ed2ea4ce558caf","datavalue":{"value":"10.1016/J.ENTCS.2016.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744429$B7697A14-263B-4CDD-BECA-B789DCCF0973","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2000544e74d8a3ff9ed7ac6f6377a6caee60d448","datavalue":{"value":{"entity-type":"item","numeric-id":2941736,"id":"Q2941736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf43081089489d50e4a6dbe9b354f6fa9c45a959","datavalue":{"value":{"amount":"+0.7763762474060059","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":"Q1744429$23523B76-7811-48F6-AE10-DA53CFEA5722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3442593f6407344238dd3577b03f86c1f43086f9","datavalue":{"value":{"entity-type":"item","numeric-id":2708969,"id":"Q2708969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccaf99af5b736ac6233f59acd0c52448e6413b51","datavalue":{"value":{"amount":"+0.7750463485717773","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":"Q1744429$B4EDA8B9-2991-4BFB-B467-97448125E08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230b28b96ec96381183b8aa8a2694e9c27892218","datavalue":{"value":{"entity-type":"item","numeric-id":2881071,"id":"Q2881071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cbd469d0aaa00a2615e92bfdf959883ceb8c4e2","datavalue":{"value":{"amount":"+0.7738248705863953","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":"Q1744429$C84F7986-94A2-4F0E-955F-3A24FA5D55B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddeadf5e42950da4923ac269e7a98fe4531c001","datavalue":{"value":{"entity-type":"item","numeric-id":3086934,"id":"Q3086934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ad0babdd41238d2c3720af172ece136d45d7db","datavalue":{"value":{"amount":"+0.7724485397338867","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":"Q1744429$1A3119B7-2AFF-4D7C-837B-19A86DA8AC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd955dc18db22ba8fa88aca6aeef34609f3ead4a","datavalue":{"value":{"entity-type":"item","numeric-id":2402362,"id":"Q2402362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4baf4d3e4288cee2334662210d8084a2eb00714","datavalue":{"value":{"amount":"+0.7665639519691467","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":"Q1744429$7E402019-B3C4-4FB5-B49B-397C3EBC0C7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744429"}}}}}