{"entities":{"Q4598237":{"pageid":6627822,"ns":120,"title":"Item:Q4598237","lastrevid":52981079,"modified":"2026-01-23T23:16:30Z","type":"item","id":"Q4598237","labels":{"en":{"language":"en","value":"Thin MSO with a probabilistic path quantifier"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820285"}},"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":"Q4598237$9388518B-BF0A-4A3C-BA33-5D6746C55CEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0889ca180687721c3b2c50d0bbd66805467c04c9","datavalue":{"value":"1387.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598237$EC9DF11E-0312-43CD-BB28-36900F070E50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598237$6C19BFC1-4843-4C4F-AC29-17CB054F2B83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-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":"Q4598237$7088A59F-F0E8-4643-A4B6-1C618E4650C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598237$D12DD585-8238-4D34-A945-1379F6BED89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598237$4E2DACF3-7C7A-4239-B5E5-E0EC636F19A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598237$B2CA8215-93AE-49BA-9F40-D502A042BF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598237$3AE73855-3D44-4D7E-8A43-1E1F98AA653A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24c39a28526c3209e5cb45409661a6de675a10ef","datavalue":{"value":"6820285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598237$8B86BE2E-F4BB-427E-9EEC-CD9190040D8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598237$431E92E3-80CC-4103-8C41-D041EE122BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58050f08a0e3452f382ffc392b06f5975759ad4a","datavalue":{"value":"MSO","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598237$1D7DAD6B-A09B-4B8B-8A03-C9A9504F7DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598237$B7D96C74-40BF-4EAD-8934-A6B1BDE22C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fa9777db6a93f9be9f42c1ec5f56f8259f8e4d9","datavalue":{"value":"probabilistic temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598237$27FCDF7A-5F75-4647-BEF3-E5DFD74C04B4","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":"Q4598237$DFBD78DC-6F7F-4386-BFC9-67A24A9DB73D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c01421258ec96e94ce39d6aa9322c343b9f8f95d","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.ICALP.2016.96","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598237$C61870D1-D6CE-492C-82F4-6B3137919803","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c1af680000826250107923ca185d0a65d63e305","datavalue":{"value":"W2538671723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598237$D7D16B85-FD0B-4BE7-B3E3-74D47DB55FA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17fdf624fd026be6891d209bb3a1fea4b3925db5","datavalue":{"value":{"text":"Thin MSO with a Probabilistic Path Quantifier.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598237$F9074200-9016-4D3C-A883-E59FB17E1127","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4af22afdbff6c508cbba2b064bb67c494fd3db6","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.96","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598237$3CCD178C-D837-4423-9468-BB7EC1C385E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9c1ce029c259c94e6c476e4f03156a45ca6c55","datavalue":{"value":{"entity-type":"item","numeric-id":5275392,"id":"Q5275392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6457e40918302c4f746c992a052f902a1485522","datavalue":{"value":{"amount":"+0.7949144244194031","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":"Q4598237$299464C1-103A-459E-A9DA-552328107710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2896f30c6c53c18958b74ad1d06c1723987037","datavalue":{"value":{"entity-type":"item","numeric-id":5167825,"id":"Q5167825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7225ed885dab32772e6c263b18a251d550ae4d6","datavalue":{"value":{"amount":"+0.7870833873748779","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":"Q4598237$3016E793-0382-441F-967F-57AE51A5B35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201c974f1b57415ac7b2812a7f20f342a5081290","datavalue":{"value":{"entity-type":"item","numeric-id":5283434,"id":"Q5283434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d031240e3c78501be43492a2d4f96fa4ebb8b9","datavalue":{"value":{"amount":"+0.7675350904464722","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":"Q4598237$A34AA24B-014E-46B6-BEDD-0E82227C3755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb02510bd1f2f59529b2f6c03617ed19d355eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495421e25a447b9fdc4dd48301b53d53b32c2a6e","datavalue":{"value":{"amount":"+0.7587869763374329","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":"Q4598237$AD5375EE-A665-4D1F-8E5C-5BA1B22B3243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c3c5794c6d30524e7a1d31316a0475c409a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3449489,"id":"Q3449489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc2616ba8252f68477454ce54cddc2b0bd94eb5a","datavalue":{"value":{"amount":"+0.7540050745010376","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":"Q4598237$AB055D18-9074-470E-AECD-B5FF954C88D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598237"}}}}}