{"entities":{"Q944376":{"pageid":946224,"ns":120,"title":"Item:Q944376","lastrevid":65529063,"modified":"2026-04-12T03:13:40Z","type":"item","id":"Q944376","labels":{"en":{"language":"en","value":"Weighted monadic Datalog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344348"}},"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":"Q944376$AD20C7DE-1CBB-4451-BD19-ECC8166E3D06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f59ec66c03e5ce6cd74009874691211c4caac278","datavalue":{"value":{"text":"Weighted monadic Datalog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q944376$E1F6B61D-08D4-45F2-98F7-D1E3EB4B358B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b4484b8f9b8443de6c742394354422663b1681a","datavalue":{"value":"1155.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944376$2DE02A0A-01C5-467D-B8CF-106DF3600B0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63a96c5e2671089a5ee5aace4401fd02f6a6bfff","datavalue":{"value":{"entity-type":"item","numeric-id":692909,"id":"Q692909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$1C8EE363-886C-4A0D-BEC6-306B0A21B748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc997ced3fd73a72cbbd0b0d0d4b1a7dc726eef5","datavalue":{"value":{"entity-type":"item","numeric-id":404010,"id":"Q404010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$E6D055E2-5C49-4088-AA01-17EA4292DF70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$CFD424BB-D0A4-433D-BFD2-7B620CF55ED7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q944376$52F0B0E2-56E3-431E-B5F0-68D8E91A0A96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944376$3DB29379-D8E8-4935-9D0D-FEFFFC6B61D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944376$AA2CCAF1-31A4-481C-8BA0-8AFBFCFA3205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944376$A8349B16-AA6E-48E0-A767-EBC7B8CE3CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944376$544D8DA6-6F74-4A8D-AA49-58D4EB879AE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16ad3b7252dac2a50dbffaa71417effa068fe4c0","datavalue":{"value":"5344348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944376$8066B2F5-0F63-4402-8C0B-1D9421CF0516","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37ba65cecde637c90b4e5e4a9bb23fff698f23fb","datavalue":{"value":"semiring-based logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q944376$E972A157-16E7-424B-8FC1-9C16935FA291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a244d39c204fc9e77780a56fdc24bf8350121265","datavalue":{"value":"monadic Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q944376$8FD86D12-FACE-45CA-9ABC-3B9DBE3335EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c83cce0405a1ac1a224c1ee76ae11be8d175baf0","datavalue":{"value":"unranked trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q944376$A658258D-7E4F-47DD-9A3B-D80AA09CA85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ef5bc2cb983b0c28f3c227fff422a301ad3621","datavalue":{"value":"weighted tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q944376$EA938759-30EF-4BDF-8DD8-B1BF76AC677F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$F479BED6-8C07-47E3-953B-664E4F3456F5","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":"Q944376$FA1D4B9F-CA89-4903-9E01-CE7F8A05410A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1f12fb70aa9b02d0ee74704c82517838226b39b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.04.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q944376$420C751F-3DA2-44E6-A10A-BC42530ADF47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e50a9bef05206ef85cd8778e3c68d4bb94ad9cb8","datavalue":{"value":"W2075018493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944376$4792F8D9-5647-4460-BAD7-2D2410C5D30B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ae8407d8f4e98ebc8e3ed9ad36d7191509a6d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090465,"id":"Q1090465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$D386CE4F-C9CC-4DDF-85FC-6A4C353BC8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4cb1a83daafb36b57758b471a18edde65961f1","datavalue":{"value":{"entity-type":"item","numeric-id":1164440,"id":"Q1164440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$53535CA1-07A3-4C82-915F-9058569C251F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8a11e59982d4661b56434a85f083056778ce45","datavalue":{"value":{"entity-type":"item","numeric-id":4377273,"id":"Q4377273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$3180D62D-13DA-4206-AA87-4C03EBEB8D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db57bd1c7f3e1cb57d300c636526e9d72de04e","datavalue":{"value":{"entity-type":"item","numeric-id":5960030,"id":"Q5960030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$C970E118-A795-45EA-8C92-1B1214DBFB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad0a9d370c8b64e12fb0c3cd7c6e672a27b4958","datavalue":{"value":{"entity-type":"item","numeric-id":1277364,"id":"Q1277364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$DE105C3D-DF60-4C08-ACDA-CEA3A16FF138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$48A3477C-FED7-4FD6-A90B-50AA20AEA25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8c74c7576dd6842938a4ab1463a8c65c94088c","datavalue":{"value":{"entity-type":"item","numeric-id":5716802,"id":"Q5716802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$DEE92D38-9DBC-4489-A9D2-EFBB80C4EBAD","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":"Q944376$C5BF5945-CD88-4258-951B-4C8801C7D39A","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":"Q944376$1D375B85-CDD4-42D5-BCC7-3A005A401976","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":"Q944376$BEBE9C83-4AE8-4044-AD10-1884B40ACB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$2ED44ABC-20C3-4D0A-A3AF-61C9EF2F65E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199ba3dbfc3f92c0be4caa38546b22e071eb88ac","datavalue":{"value":{"entity-type":"item","numeric-id":4449537,"id":"Q4449537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$6C90F364-4F02-4A14-A66C-6F6419EC9546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2b9604c9a7857460ade5ad7a08c6cbb17c814d","datavalue":{"value":{"entity-type":"item","numeric-id":2495649,"id":"Q2495649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$A755D014-3DF2-41C1-88F1-885C132F3C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3fd7e686a0201cb41d06c626534790e72ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$B8766016-24E1-4A05-B89D-92FADDCC816C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8036ca08b863c23ddf593865e2452a13cdb978a9","datavalue":{"value":{"entity-type":"item","numeric-id":5501186,"id":"Q5501186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$78831E78-9F16-432B-8B34-AF52227BF6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b1bd8512be358e23145e52562ffbf1338fd42f","datavalue":{"value":{"entity-type":"item","numeric-id":5292639,"id":"Q5292639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$83B172B8-3C69-4BE8-BFC2-BB4DCDF17088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fc8077db89d38bafb9838b3acb2fe6f6af564e","datavalue":{"value":{"entity-type":"item","numeric-id":4229053,"id":"Q4229053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$E968EFA6-CB97-427C-9618-33AD99E97371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$0547D566-4563-4FE0-8D55-C942E5CB525E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f03e55ac9fd97a1056cb1d0d5e08c96018eb6e","datavalue":{"value":{"entity-type":"item","numeric-id":1307691,"id":"Q1307691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$E8366FDF-1A81-4F51-845F-EA9D81DB755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$A152D0FA-86EE-4949-BD0E-9DFA53174603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821a0533f3197970993412f59328a8ec61b2d38c","datavalue":{"value":{"entity-type":"item","numeric-id":1607226,"id":"Q1607226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$DF44E73C-BB09-461E-870C-B66555F82F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce46db34cd01437b61b449a5c1f50b518f35691","datavalue":{"value":{"entity-type":"item","numeric-id":4042672,"id":"Q4042672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$FE55560D-B18A-459F-A045-A5EEF46F4DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d9bb800b743b77d57462b11935076cb25beb4","datavalue":{"value":{"entity-type":"item","numeric-id":2526960,"id":"Q2526960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944376$E7FAB88E-F309-48D4-A98A-AE02AAB9EA41","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":"Q944376$AF852059-C39B-4D49-8A32-A0645EC4B51A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23f8f0fe6e1f5b55db5e77c02a0e747826cbb91e","datavalue":{"value":"10.1016/J.TCS.2008.04.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944376$E797A8A5-7DAF-41E5-B15D-C9171BAC9B9D","rank":"normal"}],"P1643":[{"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":"26186daec78d5e30f05dc1c17acf78dbfe2093d2","datavalue":{"value":{"amount":"+0.8185918927192688","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":"Q944376$CC9CD1A4-0D45-44F8-AC85-427C455BAC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7a993ec20b93a3bb7473c6da607493fd9dc3d7","datavalue":{"value":{"entity-type":"item","numeric-id":5501186,"id":"Q5501186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2323ba623b144787ab1cd142ef3febbdeba7867","datavalue":{"value":{"amount":"+0.7893056869506836","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":"Q944376$0EF47E2B-8E47-4697-B699-0139109D4D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d7ab8925e5129df1b16efcc7484d23a05b1b29","datavalue":{"value":{"entity-type":"item","numeric-id":2495649,"id":"Q2495649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4998c4a2066c8e259f946e605b03a19fff173c8a","datavalue":{"value":{"amount":"+0.7752487659454346","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":"Q944376$D3C949DE-F394-49C0-86C9-2994B77EB867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4e90a608d22ace2dfaf918acfebafc92e85a53","datavalue":{"value":{"entity-type":"item","numeric-id":2947150,"id":"Q2947150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9986fbc13af855d1fd9103b82c0b7cc2f003d0","datavalue":{"value":{"amount":"+0.7741169929504395","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":"Q944376$B5760805-CF79-497E-BEC1-0F9797BD1236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f08ef4a2cc5db3dc18347e847631ebbb2c733941","datavalue":{"value":{"entity-type":"item","numeric-id":5012565,"id":"Q5012565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d36f380cb0bd059f5af82fdcd813503909bc31","datavalue":{"value":{"amount":"+0.7680861353874207","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":"Q944376$7658890B-826F-40F8-806F-78685B49CBC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weighted monadic Datalog","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weighted_monadic_Datalog"}}}}}