{"entities":{"Q1797779":{"pageid":1808521,"ns":120,"title":"Item:Q1797779","lastrevid":72620259,"modified":"2026-04-14T06:07:43Z","type":"item","id":"Q1797779","labels":{"en":{"language":"en","value":"On decidability of recursive weighted logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6960111"}},"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":"Q1797779$8B8361FB-0B68-4365-B804-A74ADE1F875F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8785a95e2e6862fee26673eebd0d5c5caa48b7db","datavalue":{"value":{"text":"On decidability of recursive weighted logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1797779$600C22F8-54B9-4F3C-8725-B7E7D2477F49","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":"Q1797779$082E15C5-03E2-4DA7-9384-CBEC4DE57708","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":"Q1797779$81387557-41CF-479C-9B31-ACEF60FA546A","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":"Q1797779$DA5CBDC7-00E2-4C5B-BDD1-EF721FCC6D44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$1F0AE790-4ADF-45D1-A809-4546ACCC5388","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cc1ec03d92652744a67d558a8c7ef5930869e38","datavalue":{"value":{"time":"+2018-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1797779$11A1DC9E-1310-479B-8CD7-7CE6B192FB8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797779$8B2087A8-03AA-4541-8BA7-D1C076FE1612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797779$1FC27CB9-8F06-4976-A81F-36A3370B7621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797779$C2C6F669-7386-4C5E-9BAC-44823263BF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797779$0BD0603A-523B-40B3-B184-78B14F061052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797779$720F7563-B1B6-4B40-ADF5-8DE89AD21055","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeaba7b5123edcd3cebde1dec4b56ba4877d89d1","datavalue":{"value":"6960111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797779$1232137D-B2F6-49E7-8196-BD5FE04D0AA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0094bd68bceb25e808b170e17e06f31a7a63440d","datavalue":{"value":"labelled weighted transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797779$82A1B68A-CEF6-471E-AEF6-DE06963A9C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797779$49F0D91F-84A4-4DF5-9B1C-F41F8A0DFFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00710edd2ac759a19198d6b03b055e888e79f3b0","datavalue":{"value":"maximal fixed point computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797779$C195068D-E2CB-4FD3-BEB6-11F1C1C69EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ef8885d7999ca81108744fecc4be7aa3483b1c7","datavalue":{"value":"weighted constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797779$94B6B1B9-7B90-4239-AD8B-45F753F4F9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797779$39CC3304-DDA5-488C-AD3D-ACCC1FE2C2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9147733faa695fed81c2d875b84ade06f21bacdc","datavalue":{"value":"model construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797779$7F3A58C4-941E-4C33-917F-3B184EA7D5BD","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":"Q1797779$8C8C07F9-9473-455F-AC37-83237EB15D36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"671ef81c4651af201932e8dde99f0cd6477b0d45","datavalue":{"value":"https://doi.org/10.1007/s00500-016-2193-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1797779$240C2C0E-4B34-4562-87E0-1B2CB1F2ED4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63fe90e1fb0fb43ed02df08b7f8be0b4b93ba204","datavalue":{"value":"W2465857341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797779$9E260289-82CF-4EEA-8AA6-E0B2713BA82E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$8D0B7D5E-2FCC-4918-B2D4-FC275E4F840B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$8378D9C5-7827-4D1E-B93F-01AB69E522D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$1C2281A6-EF9A-4893-9A0A-2D299A9AFB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44dd6b3604cfcbcc0c67787f1982f818ecf2cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$A4773EE8-26CA-4BD2-A04C-7861382E4D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$F0FA0822-3918-4FA9-9350-69309A64DBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$533D3EA8-76DC-40AA-9E82-AF973865E491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$71DEE1CF-9A96-47C7-8F57-897C1D26EB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$85F05627-B21A-4631-BEC5-32AB12CCB48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$BC529DB3-9A2D-422B-A5AD-CA69D3F9D396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$91CFFD8D-F9E5-4635-9B9E-5D4E23C51EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf54f956180a58a7b1b09efa5870d33c05d087f7","datavalue":{"value":{"entity-type":"item","numeric-id":3569043,"id":"Q3569043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$958FE996-1767-4B77-B250-AAA0C75255B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$DE402877-2ACA-4199-BEDA-163D67A16484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1f8473c11dc987ecca35c396facc0df6aec5fe","datavalue":{"value":{"entity-type":"item","numeric-id":2253184,"id":"Q2253184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$8E2B5572-FFD0-4AE7-AAAC-9119F71DD540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c827bc83bd2493d89e8a3ad5ef614c0c107ca152","datavalue":{"value":{"entity-type":"item","numeric-id":283762,"id":"Q283762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$30527A72-F39D-4EDE-BD7B-814EF05CD8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64550cc1c47da69fa91cfb31e14c7d713c778c09","datavalue":{"value":{"entity-type":"item","numeric-id":3455072,"id":"Q3455072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$EACE9D0D-B842-449F-991C-17B73A3D5E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e386ce7b53e0cac0ba7c912ae2ed3dd81f519590","datavalue":{"value":{"entity-type":"item","numeric-id":2938181,"id":"Q2938181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$F1B1472F-C9E0-43EF-9D5B-CB8F8450B578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$7EF1F2FC-32F1-420A-957E-4584C49862BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797779$FC3186D0-793E-4100-955C-00633FA08F9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"599d0d1286a5a61b0b89369e173c25dfdff64dcb","datavalue":{"value":"10.1007/S00500-016-2193-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797779$0757F3C2-58C2-4C10-909B-A19AB5F81502","rank":"normal"}],"P1643":[{"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":"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":"Q1797779$5E90D5BF-D611-44CD-847B-CB5C7C128BA4","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":"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":"Q1797779$6324F607-BF61-4B6F-A708-41738CEF2A69","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":"0601d6694d40784a5f5d908084be99e1521f9308","datavalue":{"value":{"amount":"+0.7765665650367737","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":"Q1797779$DF5662AE-A6A6-4307-8379-5F8EDD0CB134","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":"70f14648327297d4a1e8b360b2a65bfae8e3a864","datavalue":{"value":{"amount":"+0.7675965428352356","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":"Q1797779$802F92E0-4141-49CA-90FA-9572A0C59F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52dc60c706b1dec590ada5cdeb1b635a85f95088","datavalue":{"value":{"entity-type":"item","numeric-id":5971405,"id":"Q5971405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702e67e6a2e45ab25ed27fd92295e07321a88c94","datavalue":{"value":{"amount":"+0.7651358246803284","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":"Q1797779$7925F2ED-6DB6-414E-8BFD-4F782E74A227","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On decidability of recursive weighted logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_decidability_of_recursive_weighted_logics"}}}}}