{"entities":{"Q913495":{"pageid":915343,"ns":120,"title":"Item:Q913495","lastrevid":65333328,"modified":"2026-04-12T01:51:54Z","type":"item","id":"Q913495","labels":{"en":{"language":"en","value":"Duality in specification languages: A lattice-theoretical approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4147487"}},"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":"Q913495$DB5719BC-6CD7-4763-AD8D-686101863DBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5577e0c4addcc60b996e80cad1b3e184728faff2","datavalue":{"value":{"text":"Duality in specification languages: A lattice-theoretical approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q913495$D4697A6A-1F42-4859-BD7C-74876CB98330","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a551c258e0dcbf86ccd1186e9ca49c776a7f417b","datavalue":{"value":"0699.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913495$06AC6CC2-DD0B-4487-982B-EF7402E8D9C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69c891f8974612209a316bf2552605a63d1e27ff","datavalue":{"value":"10.1007/BF00259469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913495$45C35AD7-363F-4CD0-B6E0-0E22EC3BA67B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913495$9A969D98-F2E0-40AC-9592-3766F1A75B31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913495$6AF85CDD-4D80-464F-A505-946526E673C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q913495$E70B9F0E-D32E-411A-86E5-4C263156F3AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913495$87AB513C-1854-423D-9E6E-ED44D85F31C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913495$913043AD-ABAB-4C19-A3CB-1D618FCAF07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913495$D8E8011C-DCC7-46DB-8EF5-A19E920F0920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913495$2A83007C-64BF-4CF8-80E8-6859A45FFBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913495$F1DEC837-8AFA-4E91-9DD3-5999BCF4E9F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1728ccc8065632bd89af3b744d4b597f3bb6fcf0","datavalue":{"value":"4147487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913495$718DDE81-1854-4A61-BE6A-8910CF98A090","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q913495$6D83DBB9-4021-47E5-AAE0-E14C20CA88E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q913495$DC95F12B-C3F9-44E6-B01F-4C50DFA2630D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q913495$D07FBCB0-20E5-434D-A596-2878CDF2068D","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":"Q913495$6D220C5B-B671-4061-957C-E11BAA2C7AC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0274fe5b69eaed36963703c18c6d6243f5f657dc","datavalue":{"value":"https://doi.org/10.1007/bf00259469","type":"string"},"datatype":"url"},"type":"statement","id":"Q913495$B5E83440-FCD6-48F5-BFD9-EE1B997A47DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"232eaefa2e945e62d35617db825597a090b80f38","datavalue":{"value":"W2025812198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913495$76505E6D-85CD-4501-8884-52EFBE3B8533","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3601963ce78459da50cbf994fbef1ebed3015a5e","datavalue":{"value":{"entity-type":"item","numeric-id":1199826,"id":"Q1199826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70cb91111e9ce6c76be53a27309b956e78a0076","datavalue":{"value":{"amount":"+0.848422110080719","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":"Q913495$70B5E709-D78D-475C-BE91-3FD2F7909B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d9491e3e25286579578773354e0969c18f68c","datavalue":{"value":{"entity-type":"item","numeric-id":1903074,"id":"Q1903074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce12cd50a666db54595a2d07705ab1e64140801d","datavalue":{"value":{"amount":"+0.7863271236419678","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":"Q913495$F632F9F1-4233-4FFD-9D2F-0CC5A1E7E585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f1b51db0600bbdcf404b304fc3651693085989","datavalue":{"value":{"entity-type":"item","numeric-id":3677155,"id":"Q3677155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e1593756aff110300552d3db546e760e37ef35","datavalue":{"value":{"amount":"+0.7856592535972595","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":"Q913495$0E28AD32-DD0F-4D80-A8BA-284231170B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9910f779e110a2cc3715c129b01a2ff86df4d43b","datavalue":{"value":{"entity-type":"item","numeric-id":1271111,"id":"Q1271111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e18ea6431ab0a10a139a8105d63f6d3fcb769a","datavalue":{"value":{"amount":"+0.7559922337532043","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":"Q913495$D6F08848-5670-4A94-8786-7460D90C6D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b313b3ecb6dc366194ae9bb4c6cd6f672232a23b","datavalue":{"value":{"entity-type":"item","numeric-id":974118,"id":"Q974118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39aaf703826d1cfe5b0d2aac4b06ca989fb2005f","datavalue":{"value":{"amount":"+0.7554328441619873","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":"Q913495$9D80C595-3C36-40FF-AD4A-9F89FF3DD48B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Duality in specification languages: A lattice-theoretical approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Duality_in_specification_languages:_A_lattice-theoretical_approach"}}}}}