{"entities":{"Q2850020":{"pageid":2860740,"ns":120,"title":"Item:Q2850020","lastrevid":83514995,"modified":"2026-05-07T08:35:49Z","type":"item","id":"Q2850020","labels":{"en":{"language":"en","value":"Characterizations of Weighted First-Order Logics over Semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210111"}},"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":"Q2850020$9AF40716-2784-4B6F-9A20-8A96436A969B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9df4cc6a2eb1ca25789fd14f63e09d1e19e5e197","datavalue":{"value":{"text":"Characterizations of Weighted First-Order Logics over Semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2850020$9F503044-9F49-4A15-9B49-57BD4708F71E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eb37a8f05618630fb7d95f0d0d7c5161f5a0f4b","datavalue":{"value":"1398.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850020$D93B3921-4FD5-46C2-8C8B-1E0651F45D8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"310a5de149691781966baca664059d2a898e97e4","datavalue":{"value":"10.1007/978-3-642-40663-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850020$5EC89B63-1694-4271-BA1D-9A6D8D098E2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c655a9986822ac786840a81a42addfba6e5f4a0","datavalue":{"value":{"entity-type":"item","numeric-id":2453982,"id":"Q2453982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850020$D3D0658E-F3F8-407F-A301-1A07896D2CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d79224a0bb7d47cd94834d7448415ebd971105d8","datavalue":{"value":{"entity-type":"item","numeric-id":551197,"id":"Q551197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850020$EBD1B87E-024A-4E74-AAD4-D87AB6CD819D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"990dd856f9b39b97bff0e5ce9e90e3e73f0526ea","datavalue":{"value":{"entity-type":"item","numeric-id":2849996,"id":"Q2849996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850020$80398461-30A8-4C26-9495-C92543DD553F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2850020$FF17AA19-3ED0-452A-B1E0-E26BB45B0BA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850020$63034D3C-6A45-4922-82AD-3600C432F047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850020$B01985A4-31E2-4AE4-8A59-20E292C25A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850020$84D63694-E317-4DFC-91D4-D6D3B4D6D67E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed572246d60b424c06740640be8f0e27e8b8e63c","datavalue":{"value":"6210111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850020$7D53250A-052F-485F-B7B6-83663B3FCFAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4c15f60782d58d8a7936c916fcc58a0f717db83","datavalue":{"value":"weighted LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850020$8FE3C06E-94F9-4E1F-BDD4-0C848EBF8910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71479f30495a45e3e446050cfa22a5b232333ade","datavalue":{"value":"weighted FO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850020$537F4140-954B-4BF3-85B3-F5885808A8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dea2a44268261c6e3a5b4a2f0bb91f51dc616164","datavalue":{"value":"star-free series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850020$BC615F09-46E5-4CF5-AE7C-852F1C69E770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b585c62657b8c9ec3f7021205b654459b7b4713","datavalue":{"value":"counter-free weighted B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850020$8745D9E0-7144-4B6B-8A4C-56E00E740022","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":"Q2850020$32B18D51-ADDA-4F71-AB17-4A12965B3B93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e742e489a473217e40cd646d558d3db62fffb2da","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40663-8_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2850020$741E64C6-48E1-40D2-85FC-335C3F89FEE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40c5209f1e6284685b3425ccf94088964fc128c1","datavalue":{"value":"W105452301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850020$3F5549C8-33D1-4837-B282-0B6E53D53D22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0814889ead8fe4e82997432ba0f3ed6e1d85672","datavalue":{"value":{"entity-type":"item","numeric-id":2803057,"id":"Q2803057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681346b50284194de311c537469df03412458223","datavalue":{"value":{"amount":"+0.9760274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850020$4CAA2D72-8A54-43A7-99E9-DAC2ABDFAFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5227bfc33aceae35e076886625f29ccb76bf7ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3515224,"id":"Q3515224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9849b57f5445dbf8962a0a3250915e4137e643c","datavalue":{"value":{"amount":"+0.9024193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850020$897F70C6-4741-4C93-8268-DCAE68FBFEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a69b67f8f44245f01c8b45951d897cee8a3e627","datavalue":{"value":{"entity-type":"item","numeric-id":3413165,"id":"Q3413165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c945088dd4ebf5c5da111d57a7159ad2594e2a88","datavalue":{"value":{"amount":"+0.88070685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850020$33C29090-F13A-4BCE-8FC6-4D7E141C2E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be70a393a9f5af8d445a9a8b0c9ec5686c46b8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2453983,"id":"Q2453983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17cb3f3c62191c212c0bb333f4431f299dad4368","datavalue":{"value":{"amount":"+0.8740511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850020$251850EA-8C18-4176-9987-C68C5BD37CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07b3c6bd90bd4571ae433ad8a848da3934d40c6","datavalue":{"value":{"entity-type":"item","numeric-id":4459084,"id":"Q4459084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ec0b6f0e2d9b55fc2d6af997a09743e4631951","datavalue":{"value":{"amount":"+0.86974204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850020$6C3168B2-832F-4F12-8559-29950A033A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30be0e5fb5bbe361f75d65775348cf04f57219","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9003e45ace244acb93f8a8a63407b21d77872bf7","datavalue":{"value":{"amount":"+0.8684112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850020$EE73FFEF-6325-47DB-9C2F-AF23F27B89DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"981b4743b60667d5b5ce5443a9c69e5cfef058b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716802,"id":"Q5716802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9003e45ace244acb93f8a8a63407b21d77872bf7","datavalue":{"value":{"amount":"+0.8684112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850020$10A448A3-F86F-4AC2-A4E3-C6B1B0607053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0846ae175b69334926f31411bab53894b7241f7","datavalue":{"value":{"entity-type":"item","numeric-id":5072547,"id":"Q5072547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1589def4f3bec2a2b9239647e4b880462cb5d84","datavalue":{"value":{"amount":"+0.8684111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850020$25C216DD-6D62-43C2-B233-98F047FA9482","rank":"normal"},{"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":"2431db1a6efb77924ed8ee5453ec769e5afd54b2","datavalue":{"value":{"amount":"+0.86755306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850020$74CB331E-49C3-48BD-9DDA-19FAF131710A","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":"301c585f343aaf6564971dc3eea9d66ef2d75829","datavalue":{"value":{"amount":"+0.8675289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850020$7FFC5B74-FBBB-46B3-86F0-0713088C9563","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizations of Weighted First-Order Logics over Semirings","badges":[]}}}}}