{"entities":{"Q306839":{"pageid":308606,"ns":120,"title":"Item:Q306839","lastrevid":60804624,"modified":"2026-04-10T19:14:24Z","type":"item","id":"Q306839","labels":{"en":{"language":"en","value":"The distributivity on bi-approximation semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6621299"}},"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":"Q306839$2D70E856-392D-4BCE-9E26-B88F8D866077","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef2dd2bf2179046deb1b4618b7854c89f9f46fdd","datavalue":{"value":{"text":"The distributivity on bi-approximation semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q306839$52BB5695-EFE8-414E-9B70-2F7DB863E343","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f46f2a3bdc1939cdc9df39e0a977f853ca70b58","datavalue":{"value":"1436.03317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306839$C5E8B31C-AD90-48B0-81EF-FF5255401879","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"654493b914bbf24f271e594e207c7ecf5ab9668c","datavalue":{"value":"10.1215/00294527-3542442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306839$7B6FBB78-5A2D-48FC-A8CB-12612A239CBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b302ef45d2faab4be5cd3a672c01a16afc2c9ad","datavalue":{"value":{"entity-type":"item","numeric-id":306838,"id":"Q306838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$727D6AD2-7D55-4016-9628-ABDCC193B837","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$F83D5D4E-57AE-476D-9376-779EE4C5B029","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb1dfb644827a2862c7d97faa24a24e858feb59","datavalue":{"value":{"time":"+2016-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q306839$F6340687-16BE-4CFB-9F3E-A8EE3CE6905C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa41e7eac42150062dc66f32d34a6b9a7b3796a6","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1461157795","type":"string"},"datatype":"url"},"type":"statement","id":"Q306839$D31D7A31-5BB4-43C5-AC8E-8C084543FF8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306839$324FEF4F-38F4-49AD-9DFB-697EFE819499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306839$1E1C7A3D-E2BD-48B2-A7B7-6823FEEAB6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306839$0795E13C-FCFD-406E-B367-562065AC8AC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c58cd588e00f67e3a8ef4786e2373799466f934c","datavalue":{"value":"6621299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306839$B899284E-8A94-4ACF-BC4E-997F82212021","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ea3fc3ff62d9da31d7418f8054c6fda6f8ab40","datavalue":{"value":"lattice-based logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q306839$FC0ECCA0-7C98-49AD-9F6F-029CD8E3F50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q306839$23D8BB87-F624-406B-A318-5C3E49655369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q306839$4F58E531-2246-4D87-842C-F6C2990427B5","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":"Q306839$482F044F-19DA-47EC-A5E3-FC7E24654330","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d81ef027927899c75daa8276543e7bc272d8118e","datavalue":{"value":"W2434886887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q306839$5DE91BBC-2C0B-4889-909B-6EC7E4F37DB0","rank":"normal"}],"P223":[{"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":"Q306839$CD52172D-6A3C-4E97-B7AD-CBBF9DB0B1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$152C406E-F8F9-44A3-B6E1-055089325FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$17BDE151-54A8-4B06-BFAD-BFCDE621315D","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":"Q306839$8A138B6B-4882-4B4C-8A33-732E2C23815C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328d2f5d61ca2f242d573803cf1ae0db66ea1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":863180,"id":"Q863180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$7D93383D-56FE-498F-AEA5-2E6048811103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad2bdd319b4a133d3917ef0cacdcfb0f2b72513","datavalue":{"value":{"entity-type":"item","numeric-id":1361246,"id":"Q1361246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$4A6D5F5F-5E22-44CB-9175-98A5E1BB527E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$0DBB3ED3-4976-4E80-A732-7827DD9B1DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ee318e773dd0d5382d4bffb9a8fa7de331f962","datavalue":{"value":{"entity-type":"item","numeric-id":1368914,"id":"Q1368914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$6414F35A-26DD-44D7-82C0-65DCBF28235F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481a441d538eae7c6a03f622bc0ee221721e0d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1272119,"id":"Q1272119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$93E9E20E-D8AC-48B2-975E-C6EF65D7B527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$1F693C44-F59D-4377-903A-AEF34C08A7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b180a8e8531cfbfff84c09c9661e83fc404d4","datavalue":{"value":{"entity-type":"item","numeric-id":3005995,"id":"Q3005995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$9090B025-271D-4F26-94C9-DD5F8534EE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de66f8ebd77e6ada2729ed8360a1a2786742b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4928772,"id":"Q4928772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q306839$5C219E19-CF9E-4271-9E16-829346CE2CAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b2ad9831758de788aa6cc0a22d2cc6b17b00dd","datavalue":{"value":{"entity-type":"item","numeric-id":2904066,"id":"Q2904066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fffd48463a44d1ce97e846c0021c68d4d4e0091","datavalue":{"value":{"amount":"+0.7710459232330322","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":"Q306839$0F96745C-B8BF-4B92-B873-78CC33DE349F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11565d66e69f997ba23d0c882c6d1872ef0cef98","datavalue":{"value":{"entity-type":"item","numeric-id":5419897,"id":"Q5419897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c77e63dfbdb49086f76989cf4ad71b51008cf636","datavalue":{"value":{"amount":"+0.7518318891525269","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":"Q306839$B7B007B2-7703-4099-AF2C-54BF5107A623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebe8003bfabc355678fc06022a93f54f9d473442","datavalue":{"value":{"entity-type":"item","numeric-id":4662456,"id":"Q4662456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f902aea2b9407289d9ba7ba68d4eebd7ab9344ee","datavalue":{"value":{"amount":"+0.7242650985717773","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":"Q306839$C83B889B-7F06-4FFF-9642-AF4D58F0433E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c430d8307a9bc525d951e4c2aae38c2baf07bf","datavalue":{"value":{"entity-type":"item","numeric-id":2343033,"id":"Q2343033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be916e7394eed94b26e478eef3ca773a2599589a","datavalue":{"value":{"amount":"+0.693638265132904","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":"Q306839$56F2D565-D6D5-4878-8CFB-0A51F97AE5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b55b422feea490b5131923cd4a61e76a996150","datavalue":{"value":{"entity-type":"item","numeric-id":4636306,"id":"Q4636306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd1c05e419322d6f1c3c8b5e0d4dd2a8c555b1a","datavalue":{"value":{"amount":"+0.6890984773635864","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":"Q306839$3C5687F5-91D5-4EE8-A16C-E0A62009104A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The distributivity on bi-approximation semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_distributivity_on_bi-approximation_semantics"}}}}}