{"entities":{"Q2938181":{"pageid":2948901,"ns":120,"title":"Item:Q2938181","lastrevid":52170941,"modified":"2026-01-21T02:19:30Z","type":"item","id":"Q2938181","labels":{"en":{"language":"en","value":"A decidable recursive logic for weighted transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385986"}},"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":"Q2938181$C40F0659-9852-4F6D-ABE0-FB7D72AB10FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b44da60c6557dd14deb95ed814c428d8f8d11fd","datavalue":{"value":{"text":"A Decidable Recursive Logic for Weighted Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938181$71CE784E-B29B-4431-AF5A-AABC15C71348","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3756b1bff622a8b4353b1318b59225189794ac0","datavalue":{"value":"1432.68310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938181$F6F7599A-FA93-4622-A3AB-7B463E241582","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d18889b94b3ba9fae6de1afedfb03bbc2b86bca","datavalue":{"value":"10.1007/978-3-319-10882-7_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938181$C49EADC0-80B9-4B75-9206-7C72E821E4E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"281053ff0a7b1b4d8d0616e6259c142db607470f","datavalue":{"value":{"entity-type":"item","numeric-id":283760,"id":"Q283760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938181$F8D38175-D78C-48AA-8FDA-4DADCEF9B69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25a0391b72370f84fb71f15481df4d53f18f8d7c","datavalue":{"value":{"entity-type":"item","numeric-id":283761,"id":"Q283761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938181$64636FBA-2059-450D-BC1B-78D8D018010A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938181$6424A80D-8C74-4BA6-B51F-22C8FE0EF4A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c440b8d1d21e884d119c2788cfaf3e8b7186450a","datavalue":{"value":{"entity-type":"item","numeric-id":2938145,"id":"Q2938145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938181$0DE20409-49A5-436B-AD57-72F13E87EFF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938181$AABA5944-6F55-4CB1-8924-3CC0475CD01E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938181$3A85B5E1-A506-4C17-B1F5-221DCFBECB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938181$EC737116-2DC7-4DBB-9BA7-8EA01C501611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938181$7BA07461-E8A5-4837-99F9-6784E9716E1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f16325f8ac345a732ebc5722cec58187d3ad763","datavalue":{"value":"6385986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938181$3A16F89D-43A4-49D8-864A-F383E5F7AEAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0094bd68bceb25e808b170e17e06f31a7a63440d","datavalue":{"value":"labelled weighted transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938181$94E930D5-4595-405B-9E05-BD0702BB419D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938181$0D70E795-254E-404F-894B-EBDC4A4C893F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5f347d4d3b6840c4cf74c40137fec0f7765b7d9","datavalue":{"value":"maximal fixed-point computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938181$E564BB12-6979-4A95-B7C4-BC4DE1FB4960","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":"Q2938181$BFC2A4EA-570B-4B00-B9B5-618DEDE9E2B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"969b12365551595ad78f89b89a07f25619411337","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10882-7_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938181$9E3F0102-582D-4E59-A85A-6AD5368B3C75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98d62db547994d18a8ec2865695df55edd8a7ad7","datavalue":{"value":"W1606607881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938181$A4F7341A-BF66-4EE1-993A-7FFA9782B2E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997b89b9340e1ee3674ef43864a778684220eab5","datavalue":{"value":{"entity-type":"item","numeric-id":1797779,"id":"Q1797779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5bc45bb91c99e067b2672db1a6f83ff87af19b6","datavalue":{"value":{"amount":"+0.9663522243499756","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":"Q2938181$CB0BEEA1-0D3B-405B-B9D5-43C11F29B888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d342aeb2a3d93ee8aa1976fb9ecd0f945925ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3455072,"id":"Q3455072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c4998072aeceb476091d7c19e8136a1f366bd9","datavalue":{"value":{"amount":"+0.9303624033927916","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":"Q2938181$92B901E4-247D-429F-90F4-31708B864851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51d4eecf3b7b39721e369a9d92a4676c8cc8ea1","datavalue":{"value":{"entity-type":"item","numeric-id":890620,"id":"Q890620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e831fde76e629ebae82e9c0db9596b9f2006be","datavalue":{"value":{"amount":"+0.7751476764678955","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":"Q2938181$0D4C3093-733C-489A-8742-2756EC142273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19bc80134745b1843dbeee966ff87d377074aa7","datavalue":{"value":{"entity-type":"item","numeric-id":2947171,"id":"Q2947171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50de13ac20beb943e3845b01670047b7be196bd","datavalue":{"value":{"amount":"+0.7712634205818176","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":"Q2938181$049EF5BA-3F6C-489F-809C-AB9876511464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57f0c5e2b2847aa44294522d6304e9aa8008126","datavalue":{"value":{"entity-type":"item","numeric-id":2253184,"id":"Q2253184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc4feba890bf8570fe158d78e3d8cdcb00a58dc","datavalue":{"value":{"amount":"+0.7628231048583984","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":"Q2938181$AEEF6312-3071-4B05-A95A-C967FDCCEC49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938181","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938181"}}}}}