{"entities":{"Q5014802":{"pageid":7044379,"ns":120,"title":"Item:Q5014802","lastrevid":58392528,"modified":"2026-04-05T00:42:25Z","type":"item","id":"Q5014802","labels":{"en":{"language":"en","value":"Distributive laws for monotone specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441260"}},"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":"Q5014802$85C1E2EF-32F9-4166-B10F-9457E564D5FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"791d1a7dae64b7151e98d06fffad3366d7418791","datavalue":{"value":"1483.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014802$E98A0479-0996-45E1-9A8D-FC7C811C6777","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$109ED72A-7133-4914-B6F1-B1FD25D69BC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014802$378769E6-5975-4BBE-8359-BAFC8561CBFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5b6d76824dc822779e3c1c17ca2617a838c77c5","datavalue":{"value":"https://arxiv.org/abs/1709.00830","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014802$541EE97B-FC0F-4E18-BA0B-87B91316E57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"653bdaaf5f9494f2862aebf61ab7c9dc02996b8b","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2017.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014802$0190EE0F-F170-4EE0-B638-73045B94517D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014802$BDE99529-7C51-463A-A874-98E5F8C393EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014802$DFA3666A-386B-4CCE-81BA-C0C18D925C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014802$5683A7D6-BD70-4D74-8D53-A8A3FDEAB820","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf05a001d60277a09be8bd59941c9efd13198622","datavalue":{"value":"7441260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014802$2EA9FB3B-4313-4C82-932D-16C4BDB005A0","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":"Q5014802$4BBED332-CC05-4E87-93F4-8B929040A039","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$9C241DB2-1552-4AEC-8B37-444DE2CE73AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515c51a0b47d119ec197c99d4b26c96be6b3ac90","datavalue":{"value":{"entity-type":"item","numeric-id":1884936,"id":"Q1884936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$AE893CAF-A8F5-4E2C-8E09-7DECA2724284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$11D56080-460B-4CAF-A512-A0EFD4F066EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$D9AD0651-938C-4868-BC34-5093C2DE08A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2492274137c4b617350f8d9336d65412a34d4985","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$FDDB477F-7F9A-4C12-ACA1-05C3FB4CF775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84e12a724dffc6a6632659a6528738342371be3","datavalue":{"value":{"entity-type":"item","numeric-id":5072542,"id":"Q5072542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$0BA20089-24C6-4196-B32B-DE6128F69845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c3fe4fe60e46216ce5fae043f36e24fe49d426","datavalue":{"value":{"entity-type":"item","numeric-id":4917038,"id":"Q4917038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$C5D89AF6-8BEF-47C7-9424-77F8904BD39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcdf0893c74d343935ee762c06dec73b5d133cd","datavalue":{"value":{"entity-type":"item","numeric-id":703522,"id":"Q703522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$D23173A0-4808-45EB-842E-88A58A839222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$A5F44DEA-6761-4E90-84EB-958B7AFE4FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660e372c2fab9f49c1eae2ff439d4932a3c2a6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5411641,"id":"Q5411641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$CD2DCDA2-9982-4A81-968A-86DFCEE48A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faed41a247bd69339f207eb893ee9beb58f308d8","datavalue":{"value":{"entity-type":"item","numeric-id":4075064,"id":"Q4075064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$3698D1FE-FA5E-4E69-AF56-73F395526826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b473c9c36129e08c9103b0cfba5f9e3ac9f87d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3184746,"id":"Q3184746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$7F2EDE64-B8DF-424F-9F12-B917237C76D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ce10e2b1fb07550fba97d8e7cbd91e0c4a573e","datavalue":{"value":{"entity-type":"item","numeric-id":639646,"id":"Q639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$57944D8A-63A8-4ACE-A243-BE0C6572E1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08b593d954e090bc85314cc28db71bf748c6207","datavalue":{"value":{"entity-type":"item","numeric-id":4995156,"id":"Q4995156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$8D0FE201-88FC-4B32-97D1-8E9B656DCC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d20edb64bd40b7b69e2d74076f68d8a2f026e94","datavalue":{"value":{"entity-type":"item","numeric-id":511941,"id":"Q511941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$6564C376-3552-4A51-A909-F24B1F3ED50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90085dbe273edb3ca478a8ab8409461b528e817b","datavalue":{"value":{"entity-type":"item","numeric-id":1603819,"id":"Q1603819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$E97D28AF-688E-4198-B202-DDCF899C18D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f087d4842d69af1856cff8370cd1fd823e3049c9","datavalue":{"value":{"entity-type":"item","numeric-id":338626,"id":"Q338626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$1032FB62-CFDB-4E60-922D-F132A42E7BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014802$0A4FE1E6-6782-4374-8AFD-E4AD2208641F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8823e911df796197fc9bfb254830998730edcc5d","datavalue":{"value":{"entity-type":"item","numeric-id":2329307,"id":"Q2329307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0b0d0c2f61470fd81edeb95d3bfedde14ead51","datavalue":{"value":{"amount":"+0.9937608242034912","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":"Q5014802$AD918B62-283A-47A6-9A43-5493516158E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2dd4f8e843da722800bf7898e7b33a0a248be90","datavalue":{"value":{"entity-type":"item","numeric-id":4995156,"id":"Q4995156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3193d2d253543b9d0d89d1d3b05f7f6e67e9a9","datavalue":{"value":{"amount":"+0.8594557642936707","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":"Q5014802$2216316F-B34F-4D87-A4C0-19CD005FEDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cf59597732e6d8218138eae7b10440755f1207","datavalue":{"value":{"entity-type":"item","numeric-id":703525,"id":"Q703525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e778ef7f0ea16ceed4034da9f247c21d0abc1085","datavalue":{"value":{"amount":"+0.8193216919898987","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":"Q5014802$3D742DF4-761E-477C-8007-D645AE05233A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f840768e795f931207ddbc7ae199113959314945","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5b5fea4598fa078be84040352a54f94867d81f","datavalue":{"value":{"amount":"+0.78281569480896","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":"Q5014802$57A7E732-28E5-4608-9DED-7DE89E053386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d12fe9ff19603a261e123be37d0d4b05041d466","datavalue":{"value":{"entity-type":"item","numeric-id":5892108,"id":"Q5892108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32eb5c79a72cdf70987c220ce0fc092983de1423","datavalue":{"value":{"amount":"+0.7795239686965942","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":"Q5014802$3D0F89F4-9915-47B4-B67C-926699EFDD15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014802"}}}}}