{"entities":{"Q2803057":{"pageid":2813795,"ns":120,"title":"Item:Q2803057","lastrevid":83446364,"modified":"2026-05-07T07:59:14Z","type":"item","id":"Q2803057","labels":{"en":{"language":"en","value":"Weighted first-order logics over semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6576852"}},"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":"Q2803057$AFA76F1C-43F8-4325-B0C7-2361ED96E5D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"747768eeb154e21a5ea0e5b8549f15ca26d5d8b3","datavalue":{"value":"1349.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803057$2F571E71-7B54-4A94-B37D-A1FDE4C42ADC","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":"Q2803057$BCE74444-620B-4BD2-87DD-3A63122AE458","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":"Q2803057$0AEF5730-F72D-4692-B6B1-7ABEE57D449B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2803057$D728903F-F1DD-4FA3-8A8C-426F104CB47A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e14340917da0b560f1aa784255616bd78a4a4ba6","datavalue":{"value":{"time":"+2016-05-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":"Q2803057$4BCEC7FA-C408-4662-9B0D-30EDCC071C3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803057$55C71B6B-90EA-4489-8AFC-A0C09EF930EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803057$942837DA-67ED-498F-929E-8619CEB35036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803057$D4C2DBA7-191A-4CF6-BD1D-C342B9A60DB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc98e4e420499fd8d7da0980323ee01ce72d6769","datavalue":{"value":"6576852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803057$8F9D843E-512C-47BB-893D-49B4AB0251BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803057$C3F8877F-B45C-47D2-8E17-794A1B71FBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803057$01DF44B5-C3C6-4FBE-B908-1AB205191857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803057$88F0D908-31A1-4588-9076-32B2F6D3461F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f93952de4082e68b559e96491b3daf67240302","datavalue":{"value":"star-free expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803057$078F74E3-0488-4803-B3FD-AA5EA25C8AC2","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":"Q2803057$EB51EE13-6DBF-4152-9306-BE1EF664A5D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e979922ea1430c4ee3595fd372fb1add40459a0","datavalue":{"value":"https://doi.org/10.14232/actacyb.22.2.2015.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2803057$84C34D8D-3680-4389-BE07-24E603253FCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21fc7de5a08fe49bc2e79de16ee0057cd0f0f42d","datavalue":{"value":"W2620839626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803057$C68A4A8A-31A8-4621-B261-1243BA50F577","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dbd8739ccf1fb39a07f59f9b965407d4ca508d6","datavalue":{"value":"10.14232/ACTACYB.22.2.2015.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803057$423B853A-F085-4509-9344-B6B3B27F2A6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a686aaaa759e6713a5a8c8d825e66db23b271abb","datavalue":{"value":{"text":"Weighted first-order logics over semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2803057$2AE95365-BEA9-47DD-8F03-7EA11F67891D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2983ba1c13f40fbcf8f64649c2ab03ae9fdb387b","datavalue":{"value":{"entity-type":"item","numeric-id":2850020,"id":"Q2850020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad5eba9c4ff608c176617c86f0248b8d81f02c4","datavalue":{"value":{"amount":"+0.949798345565796","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":"Q2803057$B4AF94CB-CB79-435F-8DF5-7FA382CD8CB8","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":"561c69ea9182c54db35ba2a1df2a32b0b6aa34ad","datavalue":{"value":{"amount":"+0.8379528522491455","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":"Q2803057$D7498E15-0684-42CB-B098-2CAF2ADABE38","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":"60e01a73dd3461b84585b3ff096226d36dbb80cc","datavalue":{"value":{"amount":"+0.8184354901313782","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":"Q2803057$B91ADFDA-52A5-49E9-A62C-A9A2047724E6","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":"1c31bac92dd057271d978f5b853a693ac424673d","datavalue":{"value":{"amount":"+0.8126744627952576","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":"Q2803057$F29AE082-4473-4E7B-B8C5-4E1F4C1AE93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b035386239cfd5fbc2fbbebd44d0d89b58911d63","datavalue":{"value":{"entity-type":"item","numeric-id":860890,"id":"Q860890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93653341bc984a9afc4b56aa46580ac1f2bafbf","datavalue":{"value":{"amount":"+0.8119814991950989","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":"Q2803057$2B58F420-49B6-4F51-88C1-66B342812842","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weighted first-order logics over semirings","badges":[]}}}}}