{"entities":{"Q744987":{"pageid":746836,"ns":120,"title":"Item:Q744987","lastrevid":64093587,"modified":"2026-04-11T17:36:09Z","type":"item","id":"Q744987","labels":{"en":{"language":"en","value":"Uniform proofs of standard completeness for extensions of first-order MTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6493330"}},"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":"Q744987$95BA8091-5E53-495D-B0C6-297BB7F0DDFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85df6d30aa294dc75aac5df420a3e7d92acf759e","datavalue":{"value":{"text":"Uniform proofs of standard completeness for extensions of first-order MTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q744987$B00C0699-13B9-4BB3-A2E7-180A0E9603E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f8bad9fcb562253dbe07bdb66d2a5ee87ac3531","datavalue":{"value":"1331.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744987$F138FE91-5AF2-442C-9EDC-28B025394111","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"345befc6ae452ec29df99489fb5f4e5246bd516c","datavalue":{"value":{"entity-type":"item","numeric-id":271690,"id":"Q271690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$D7C24250-13DF-4F80-8EBA-9B67904E0F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$418EC644-0258-480A-AFEF-9A9094F8A23F","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":"Q744987$22BA8793-E335-4A12-9044-12BADA1C8DA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5981dc1780667b005458bf584649c04baa5310fe","datavalue":{"value":{"time":"+2015-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q744987$D1B4882E-C264-4F35-BCC7-3CF2CC17C4A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744987$AA322FA0-92E2-4D57-9E19-22A0AD190A1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1efaac634eace03f0f4631a2c136dd09e87c11d","datavalue":{"value":"6493330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744987$BE665FF9-FAAA-41AB-8F12-465ED3B5CFBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84b385a1fdb49956580fe68f3fd28810f7cb231","datavalue":{"value":"standard completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q744987$A924B46C-AD7D-4233-90E6-3A7C39C04835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q744987$85BF1BC6-FCF4-4095-8F35-65359DEDE766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q744987$4C478059-1374-439F-AB65-E9FE418CD93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d81574493566183bc84a60a64489e3d3d85b230","datavalue":{"value":"density elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q744987$322B38DB-7861-4330-B069-8082070A2EB4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c4f1dec6923a4ce4b7c0338f9e197e4a0e0af5ed","datavalue":{"value":"Q113863216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744987$38A34964-14C1-4B91-B38E-C80F10FF685D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10b4d43ca59a2881d59ff80a40306d6d7ff5d31","datavalue":{"value":{"entity-type":"item","numeric-id":32073,"id":"Q32073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$0FBFD6AE-597A-4F5F-A399-C9836E6320A7","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":"Q744987$E4AEF615-9A41-420E-8043-F1470F738DCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b502fef3ae40173021511a629374c5fa2f9d70e3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.07.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q744987$0D9E3229-4713-4A3A-9F30-01C05FDB4AB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b02ade6e8f0d472053f5657913b271b385033b7d","datavalue":{"value":"W882070095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744987$76387D37-4B17-4A1C-A232-07BDC478647F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$0B79E75A-A10D-48DE-ADC7-AC2F5D6F391F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$B7A6FBCC-0C54-4E3C-8F44-0114DAE01603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564367dda2d50860bb7dff01a2d84ec437758ded","datavalue":{"value":{"entity-type":"item","numeric-id":2753673,"id":"Q2753673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$47FDB836-2D82-4D24-98F1-016C6F32EC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c98086911e5e459fad080301315e9b7ad18586","datavalue":{"value":{"entity-type":"item","numeric-id":2915024,"id":"Q2915024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$BAC24DF6-A3C8-4E82-8ECE-7E9BAC5DABC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$1BD14026-27FC-4BD7-BDF6-B0C016C2F18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$267D3CEF-CACF-48CF-956D-EC3E2F615CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6354dc5922d58d0941351631a710c38db024ca","datavalue":{"value":{"entity-type":"item","numeric-id":652517,"id":"Q652517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$A70D5778-8AA8-4306-AA38-7D32E4789A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26e20436633d80dfa12ed029688059772b3d0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3644747,"id":"Q3644747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$4A610665-CEA0-4646-8217-B49189D7BC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4412af6e01cd77d7d54e6746d98fd56508bdb5d1","datavalue":{"value":{"entity-type":"item","numeric-id":5434503,"id":"Q5434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$E9AFC825-D25F-4870-A4A5-92B3A4951254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6733c43d3ed32458e793473c5eb6d681a29fe8","datavalue":{"value":{"entity-type":"item","numeric-id":944384,"id":"Q944384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$E3832647-E188-4825-AAEF-3A808C152D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5783b4c093518826dc9f8d32db7d60bedf770bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4825702,"id":"Q4825702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$405CD794-B476-4F64-9167-83E93B0E8F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b5a082fa64992ebd54051a4deba16d01cc97f7","datavalue":{"value":{"entity-type":"item","numeric-id":5406033,"id":"Q5406033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$CBF75742-7C8F-4D07-BDB2-7D6C89B2EEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb17c3ec23f7db1652717b13437eb3142a54285","datavalue":{"value":{"entity-type":"item","numeric-id":1024552,"id":"Q1024552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$A99B52CC-ED6E-4EA7-8AAA-A261B288A2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8acc8675845e1374ddcb2d21ec124a48fdbda5","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$680F3FBE-309B-4FBA-B295-BECE6E6215E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$6533BD5A-1193-45A9-AC1F-0B2A2F4DE934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$427C250B-E057-40FD-945E-89ADA3D595BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$E75B812A-815F-4ABA-9C7E-085850BFEE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$3AC0DBD2-2C11-4678-B022-CE4BB1D37760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06411766418b995d75f6b84b4b6f8c98424bcf2c","datavalue":{"value":{"entity-type":"item","numeric-id":855228,"id":"Q855228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$854B081F-076F-4137-94CD-5E63194EB183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"198e22adb0c28f237b0a6a117669c0934e1199bf","datavalue":{"value":{"entity-type":"item","numeric-id":1778060,"id":"Q1778060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$0D3021F6-F738-445B-925B-641DBA6F94F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ad3e30b81d68724fd88018f65f6b467e3ffa26","datavalue":{"value":{"entity-type":"item","numeric-id":5293197,"id":"Q5293197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$0A831D06-BFE7-40BA-BF8E-999050986702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$49F9A62A-8148-4646-81CE-AE11294D1A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe495dfac89d8693abf9a8d244d270a12cd8f06","datavalue":{"value":{"entity-type":"item","numeric-id":1612691,"id":"Q1612691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$457A84A3-5D7B-46B8-AC70-CAF7FE6F30E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fd1f778c1c98a148644fb20ef783e73dbe402a","datavalue":{"value":{"entity-type":"item","numeric-id":3520229,"id":"Q3520229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$86434DF0-E062-4F31-9E6F-E9E462C09E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$3B5D3EA2-A999-4C1D-BDC3-95A510795BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bab06c6efc101c2c178c21ed15568782da3276","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744987$F3548758-E9EA-4160-AEED-1ECB6730A75C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6123aff2ac2370e60fe1c6019a311a4d331e120","datavalue":{"value":"10.1016/J.TCS.2015.07.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744987$73F3C7E0-C1CC-45CB-8290-2BAA82B8C67D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7eab8ba90779bd258fcad9cb1a381154c0fa667","datavalue":{"value":{"entity-type":"item","numeric-id":2915024,"id":"Q2915024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446a1a90c34bdbda9e14223be7063ea11960c470","datavalue":{"value":{"amount":"+0.91240436","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":"Q744987$5E5528E2-CEFE-43BD-A4DF-5811D189CDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe43020aac40741313d435fb2e35188a7f6a387","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1ff572f78faa3f62a54d3f6a26f3d4e865d5be","datavalue":{"value":{"amount":"+0.91062605","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":"Q744987$3B151915-F997-41F8-B71D-12184843F91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f31b637c88ef61093461385c3ae5c6974502b1","datavalue":{"value":{"entity-type":"item","numeric-id":855228,"id":"Q855228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3875239402d3322217fc4632495f78a8d10791b","datavalue":{"value":{"amount":"+0.89216423","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":"Q744987$0700063F-B28B-4867-B420-57239DD5B95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364a1492ef1af0460fb7e2002f048c09458a676e","datavalue":{"value":{"entity-type":"item","numeric-id":894654,"id":"Q894654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51798cb7dbaf9230ae467ef0b9c5fff957e64ecc","datavalue":{"value":{"amount":"+0.8766248","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":"Q744987$714212AD-124C-456B-AA98-8908A1504A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8235b298bf3c4ce3faa2a5ba9c63ead0f7e5dfb6","datavalue":{"value":{"entity-type":"item","numeric-id":1778060,"id":"Q1778060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78567aa04b32d9d69080151392dcb4336724dc3b","datavalue":{"value":{"amount":"+0.8752552","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":"Q744987$DFC00872-8C06-44FF-B182-6525E74F270E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019a936a970050ea34bdbf80144d3a2856dc1dd9","datavalue":{"value":{"entity-type":"item","numeric-id":2337894,"id":"Q2337894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8785fbcd60ae755f046884def39b22ddaed48fc0","datavalue":{"value":{"amount":"+0.868686","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":"Q744987$C58BAE3D-E9AA-4318-8C7C-00509A839401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998e4a8effba2b1878cb890fe472349cb9616c3c","datavalue":{"value":{"entity-type":"item","numeric-id":5858677,"id":"Q5858677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce2c38b19d8a71c450ced49ef752fc767f3f6f7","datavalue":{"value":{"amount":"+0.86666846","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":"Q744987$9670601D-9018-49F1-A671-9810B2AB99B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170e6bdca23e1146c5b56538572aca0c7cf900a4","datavalue":{"value":{"entity-type":"item","numeric-id":4995355,"id":"Q4995355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51079e6cefd1599892a2f7ca1d8846586f40cb80","datavalue":{"value":{"amount":"+0.86630964","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":"Q744987$987F3200-FED9-4C8F-B2AD-49E4F37072A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba60bb56c692b9f1f433f5f2321df33f7c2155f0","datavalue":{"value":{"entity-type":"item","numeric-id":5443925,"id":"Q5443925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ba4cad36013f8730f08d440fa72781bdc3895a","datavalue":{"value":{"amount":"+0.8618425","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":"Q744987$16559B9B-BE98-47F7-9193-8E2CD57C8E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbe0c345c37360ce60f7cb346c4738c3ddce0fd","datavalue":{"value":{"entity-type":"item","numeric-id":5028312,"id":"Q5028312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8343748e6cd0b4a6f83c1db811083ca771ecf963","datavalue":{"value":{"amount":"+0.86163163","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":"Q744987$E164390A-81CA-4A1F-8FB0-4E6B5F469316","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform proofs of standard completeness for extensions of first-order MTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniform_proofs_of_standard_completeness_for_extensions_of_first-order_MTL"}}}}}