{"entities":{"Q1797777":{"pageid":1808519,"ns":120,"title":"Item:Q1797777","lastrevid":72620241,"modified":"2026-04-14T06:07:43Z","type":"item","id":"Q1797777","labels":{"en":{"language":"en","value":"A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6960109"}},"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":"Q1797777$EB3ADFE3-6A2D-43E8-96D2-861A83EF34D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74dbc947823d8d9a4a3d5266f40bafe0d19bf5c0","datavalue":{"value":{"text":"A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1797777$C06FFF25-9A74-4C03-82C4-270FF266642B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b160a6761500146cbe1c11090a429639821c17ed","datavalue":{"value":"1398.03157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797777$EE3E175D-8ADD-4ECF-B3B7-5C6F69E73F51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$CB0670B7-E7CB-4C97-A252-D99D1509824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aae555efea8bfe5edf053b73d5c78ecd63391b7","datavalue":{"value":{"entity-type":"item","numeric-id":453532,"id":"Q453532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$8E7395B0-C481-4C55-A224-C5D4B316690D","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":"Q1797777$D7B615DC-D1DE-4D16-AA8B-58BF26FFAA7C","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":"Q1797777$2E0877CC-E2C9-4FB5-8EE8-B93EE585EEF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797777$D153339A-F7FB-47C3-9075-EC17B6E7F28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797777$5CBE731C-15DF-4859-9052-48D5BE999BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797777$83F8E25B-8288-4AE4-ACC7-A24E941BB1E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e47de8ebe0875ed1a49a8541e61956c837a733f","datavalue":{"value":"6960109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797777$6F13FF02-DFB1-4343-9094-000A5E4226D3","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":"Q1797777$1219484D-12EA-4650-BA21-9121B1F3B67D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66f4e27d31bf52b0fd8861b50f1b9424d71ac5f2","datavalue":{"value":"https://doi.org/10.1007/s00500-015-1952-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1797777$FBE047DA-A12A-4174-A0CE-7F487E7526CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1526d97d69dcf1b8d4b3366701ab0847fa3045f","datavalue":{"value":"W2204174169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797777$71DBB546-D1B8-4B7B-A943-94964D0968A7","rank":"normal"}],"P223":[{"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":"Q1797777$5B278D66-3B06-417F-A312-9FB1886164B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051a00b466e11d321f3ba238f084b317ed6b87f0","datavalue":{"value":{"entity-type":"item","numeric-id":3637211,"id":"Q3637211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$C24C4AAE-0ABF-47DD-8505-0A6CA87798E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$16560D56-0AEA-4858-AA93-11D9BE424AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fe74d71647df58cbeb87817c49bc896fc5aa69","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$1A226017-4A73-46ED-B5E9-50841C784BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b100d1682adba14568cc3b100a8d68c521210969","datavalue":{"value":{"entity-type":"item","numeric-id":3098032,"id":"Q3098032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$0F0F02CE-3631-420E-9389-19223104822B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f47f251b7bc23e0d3a451edff8965bd22ecbdb","datavalue":{"value":{"entity-type":"item","numeric-id":2947150,"id":"Q2947150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$2FDBC0DF-FE14-4CAE-9DE4-7C0271FC328A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18e7bc242ffce26626cc444668523c99db13865","datavalue":{"value":{"entity-type":"item","numeric-id":1932173,"id":"Q1932173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$A0DA244F-6617-4F7F-8E31-10F56D9BD30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab9f62077caaf60920036792534e0511392831c","datavalue":{"value":{"entity-type":"item","numeric-id":5167836,"id":"Q5167836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$B9D2FA60-501C-40DE-86FD-A7DF83056970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6034459693441a1328a028647928f4d5eec6fc1c","datavalue":{"value":{"entity-type":"item","numeric-id":860890,"id":"Q860890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$230574EC-465C-4DEF-94DE-245A06E4C1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af53cad56838a221d1ec96c534dc8d447ac33b19","datavalue":{"value":{"entity-type":"item","numeric-id":2429720,"id":"Q2429720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$AE9B5434-0FF6-4427-8036-19AA2F35AC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$67C80921-E750-4C5C-9A0E-F558F928AD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f09581897556cea86eed7d9ddf2e0e316b1c14","datavalue":{"value":{"entity-type":"item","numeric-id":692910,"id":"Q692910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$D9C710C7-EC68-43C5-B624-481DD42D7E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6289c768164e1605bb7d4caedb1cd24dbc112cc","datavalue":{"value":{"entity-type":"item","numeric-id":2947171,"id":"Q2947171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$42F02031-A06D-426B-A69E-A72C6AD4A2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$05BF33AB-718C-4BB8-A4F0-461250C666D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797777$E6AA37BC-195D-41E7-8E7B-22F68B7AC77F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13748ee7c63b78b5cecca29e06b263cb90e96cf5","datavalue":{"value":"10.1007/S00500-015-1952-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797777$651524CD-053C-4F92-9952-3B137C4B21F3","rank":"normal"}],"P1643":[{"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":"40a02ce004976bd92c73529ea8400b7c2817ddea","datavalue":{"value":{"amount":"+0.91713524","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":"Q1797777$D9CA5E15-5FF9-4653-BE90-0D3615895DF2","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":"26d6adbd3a773e8eaa786f1cc5b9c30cb3ed8a7a","datavalue":{"value":{"amount":"+0.9171352","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":"Q1797777$3C6CFCB4-D484-430F-B9E7-76888810B649","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":"6ce85461027d3b629919c1498834dca327d2da8e","datavalue":{"value":{"amount":"+0.9171351","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":"Q1797777$8CCB7F8E-4E9D-4C0A-A6BE-7B5464A26853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae37d77ed2087acc8894752180dcbd1a0e340a33","datavalue":{"value":{"entity-type":"item","numeric-id":764336,"id":"Q764336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049fe78711991206424adb8dceaa4f312a4123c9","datavalue":{"value":{"amount":"+0.9064053","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":"Q1797777$5E02DF4D-C65E-4745-8D28-D2316DC50CD8","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":"429459607169ba24928d4a1c0551177663625656","datavalue":{"value":{"amount":"+0.8899505","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":"Q1797777$41492C3B-60DC-4D93-8F49-3016F6789F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b35b68ac335b60bbf719319c9c19d629b7c3722","datavalue":{"value":{"entity-type":"item","numeric-id":5449809,"id":"Q5449809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a71bc47691b04ef4af8666ae0dacc1bd5d25e3c","datavalue":{"value":{"amount":"+0.8856826","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":"Q1797777$80B3CF7E-38F9-485C-8B8B-18F6723B752E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3d82474f362f57788820cbc41bcad9c0ed20d4","datavalue":{"value":{"entity-type":"item","numeric-id":2429722,"id":"Q2429722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a71bc47691b04ef4af8666ae0dacc1bd5d25e3c","datavalue":{"value":{"amount":"+0.8856826","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":"Q1797777$32D987A5-1A6F-4084-9C65-DBD420BA7468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067c7e63f4ab54dc12b8c6bf8e8eaeea57098106","datavalue":{"value":{"entity-type":"item","numeric-id":2429720,"id":"Q2429720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3242894564af874b4d09dd1c816353b91a2e34f6","datavalue":{"value":{"amount":"+0.8855395","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":"Q1797777$7FCCE0A2-0D18-4621-A667-8E45BFFCE540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1dc821bf3070d0af06ab79a65bb1e58965dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":840767,"id":"Q840767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8138e6a16b852cabbcb82623e82ae1b69ec527c0","datavalue":{"value":{"amount":"+0.88502586","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":"Q1797777$E107287A-3A49-4F02-BFA5-701333DB6395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482d6c9e9392f4679a550639d84c476cc959b03b","datavalue":{"value":{"entity-type":"item","numeric-id":3503896,"id":"Q3503896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8138e6a16b852cabbcb82623e82ae1b69ec527c0","datavalue":{"value":{"amount":"+0.88502586","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":"Q1797777$32714A6A-FB2F-48D1-9477-FB1222105920","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_unifying_survey_on_weighted_logics_and_weighted_automata._Core_weighted_logic:_minimal_and_versatile_specification_of_quantitative_properties"}}}}}