{"entities":{"Q3455072":{"pageid":5234472,"ns":120,"title":"Item:Q3455072","lastrevid":52406816,"modified":"2026-01-22T14:09:25Z","type":"item","id":"Q3455072","labels":{"en":{"language":"en","value":"Decidability and expressiveness of recursive weighted logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515888"}},"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":"Q3455072$778467D0-D045-4A04-B467-E3067583D019","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"313de6b5728a0d636b7800155caa726939f78155","datavalue":{"value":{"text":"Decidability and Expressiveness of Recursive Weighted Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455072$4B85CA2E-CF24-401F-8758-90F5CB392B5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e32239bafa142fb4a1f8b764bd43543333c6a2a5","datavalue":{"value":"1434.68330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455072$D499BA5D-E410-4DD6-BF72-0D5E83ABDF3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"728477ffe63b4e81ee8cdaa4bd270ef2e1b43394","datavalue":{"value":"10.1007/978-3-662-46823-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455072$61E05DC8-6FE9-4AB1-9319-D12DDB6952CD","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":"Q3455072$0AD19E42-3F6A-4B28-B0E2-FDA40800ABD4","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":"Q3455072$03D44B82-4A31-47AF-9920-2F9C82BBBDE0","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":"Q3455072$F3C57503-DD4D-4450-864A-DABEC26C587F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455072$1D62412D-1C91-438F-AC90-69A4499CE1DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455072$54E83CBF-58A8-4276-A971-6C085E59A6F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455072$989F5D8A-BE69-4939-B84A-B5F76EFCDE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455072$5909D0A2-AADB-4B38-87E9-4B62BDC8899E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455072$145FB126-F629-40BD-B6DD-772010ED0C1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb700318a627275660d3638ce8b9e2518eba8d8c","datavalue":{"value":"6515888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455072$D6D85972-C192-416C-A6A7-D2610281F67C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0094bd68bceb25e808b170e17e06f31a7a63440d","datavalue":{"value":"labelled weighted transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455072$621623C0-DE3F-4B69-90DC-B09C0ED51FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d874803edf610afedce2df6822f03eb9ffbc3040","datavalue":{"value":"maximal fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455072$89F4E756-4600-4FA9-8F1F-4FFB72F43297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27eee7d3d647bece861f630e52ae930b4d3e412","datavalue":{"value":"Hennessy-Milner property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455072$7E260836-FE9B-4724-ACFE-5F21FCFC001B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455072$1D770184-CACC-49A4-B417-BE661496A7C0","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":"Q3455072$103C6BFF-CCF4-48C0-8916-F73369B4C31F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2082032eecd25bbd21c2ea31f2daf3c2ea8f37a1","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46823-4_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455072$97BCAB5D-A752-4281-A6F3-2F2027849F08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"305daddcb16bbb63eab0383b8eef110aca4812b3","datavalue":{"value":"W2244361945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455072$97BAB4AC-C510-4354-860C-9B0B7144A2BD","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":"eb7fabca886cebf7e6b9caf232ec8ebaeb131d8b","datavalue":{"value":{"amount":"+0.935674011707306","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":"Q3455072$92F266BA-D312-47E8-BA4A-4648CBF5AEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1386ed01a7dd3a7aa8923736cdf3a03d142397","datavalue":{"value":{"entity-type":"item","numeric-id":2938181,"id":"Q2938181"},"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":"Q3455072$63BEF603-7159-4BB7-AEAF-2844C3C6F99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4bdc92bbc8c210e435e8d978907a62574ba3f7","datavalue":{"value":{"entity-type":"item","numeric-id":5015275,"id":"Q5015275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa61c9609046af36b47a0d0010258f0de34439d","datavalue":{"value":{"amount":"+0.782011866569519","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":"Q3455072$4B416D52-7D7D-40E5-930C-65E5A47ABD2E","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":"663cfee2f3ed454b1e45e9671b7c3b3c9b25ad12","datavalue":{"value":{"amount":"+0.7615659832954407","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":"Q3455072$FC8FE398-4001-490B-BFB9-40B8B5A93BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3207ca08b95cf278d28b30ba324b1587b2bd430d","datavalue":{"value":{"entity-type":"item","numeric-id":1660779,"id":"Q1660779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffce960999d17acf10ddf2036c2c3c6fe112be8","datavalue":{"value":{"amount":"+0.7511640191078186","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":"Q3455072$E207B068-A9D8-447D-B391-73269459FFC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455072"}}}}}