{"entities":{"Q3347269":{"pageid":3357977,"ns":120,"title":"Item:Q3347269","lastrevid":48785518,"modified":"2026-01-05T20:46:41Z","type":"item","id":"Q3347269","labels":{"en":{"language":"en","value":"Completeness of Proof Systems for Equational Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3890709"}},"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":"Q3347269$4E4E2215-1D60-4A03-AD06-FB49CFC54293","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b8484bb504cfbc8c400bbd71eab968365008505","datavalue":{"value":{"text":"Completeness of Proof Systems for Equational Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3347269$E4875428-C295-4EB8-A9CD-0BA72711452A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"529c724a865d6a23648035ac3a488c0d9e8fe5e1","datavalue":{"value":"0558.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347269$6C00AEBC-27B4-4809-91B2-75A5F252D544","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71f67414884bb8e33819bdb0d19d70a96e2b47e1","datavalue":{"value":"10.1109/TSE.1985.232484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347269$31FF1F3E-F946-43C1-95DE-ACBCA63D8C3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd65e421cdf5089f62a705995b7921eb32b8441","datavalue":{"value":{"entity-type":"item","numeric-id":610395,"id":"Q610395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3347269$832FE157-3CA7-4462-AB5C-916C0E9953EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"563f3cd1012fd72fb53fa6f7bab39a527097e8fe","datavalue":{"value":{"entity-type":"item","numeric-id":1317429,"id":"Q1317429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3347269$86A65D28-187B-44AA-A61C-699D3490FD09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3347269$2D9D0453-6B1A-4BF9-B499-ED579904DB59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3347269$49D419A7-6B31-4BB8-BC9F-E56F91BA4F58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347269$0CC6B211-D8DD-4C16-912F-4B2818637BCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"403840734ddf60cdf7447ef59e8aeb5810c177f7","datavalue":{"value":"3890709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347269$7547AD59-90DF-48F2-B414-099C5B5D04FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc703c14e6b6f5a4f44d4cfcdf413ca5c3fdd10a","datavalue":{"value":"equational data type specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347269$CBFAF1B6-FFF4-4AB5-BC3A-AB2FF524C0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347269$6D3B5C46-93DB-42AF-99B3-0C3E0452F688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e00becea862aed6aa9ab04304a96b21116cbce9","datavalue":{"value":"data constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347269$1F9CAAB3-8690-4046-87A6-25E6A56012F8","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":"Q3347269$899F9FD5-0970-472D-AC88-FF607A30F1E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e660c504205adec0bd06c8f0e06f0e76d6a67f17","datavalue":{"value":"https://doi.org/10.1109/tse.1985.232484","type":"string"},"datatype":"url"},"type":"statement","id":"Q3347269$E631A43A-E283-438C-9948-505310E2C9C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"677bd948cd87dd1e37b732dcf9a9c118e427dab0","datavalue":{"value":"W1998691016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347269$BFD9E445-C4EF-4440-BC5A-F367D5ACBF67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c44cb2a18530e85f15f11e50e607b466bca981","datavalue":{"value":{"entity-type":"item","numeric-id":3690200,"id":"Q3690200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f270c3beeb5b65405ba4d221957873ed0ce7700","datavalue":{"value":{"amount":"+0.8030920624732971","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":"Q3347269$6219E1E5-815E-4576-A05D-3A45CD743678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa649b8b213eb1bf9d0799fac53d4e819a160fe3","datavalue":{"value":{"entity-type":"item","numeric-id":3713575,"id":"Q3713575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29e490f0aecb24e3a9518110a06fbc3e33da097","datavalue":{"value":{"amount":"+0.7906690239906311","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":"Q3347269$71232F22-8CDA-4A93-A540-FDBCBB0255E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623065ff08437486ed50597a174c726e37e50f76","datavalue":{"value":{"entity-type":"item","numeric-id":4299858,"id":"Q4299858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8443e34bae69977be3586b397071838b843a1115","datavalue":{"value":{"amount":"+0.7846866846084595","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":"Q3347269$58C879FE-11DC-43CD-AB69-1058A3B496A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db476a1c29ee3caead0e30258c270cd05024359d","datavalue":{"value":{"entity-type":"item","numeric-id":5881266,"id":"Q5881266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae74275bd898a32bcb93a83b86ccdc45386efd79","datavalue":{"value":{"amount":"+0.7742087244987488","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":"Q3347269$27E8372E-7291-4A11-A7EB-5FF2E0E04108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c5b622ad60151b6f7a6056b88c169a2d1b5b848","datavalue":{"value":{"entity-type":"item","numeric-id":3716284,"id":"Q3716284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc14f214c180c546200de5cdda6a9e8edf6257c5","datavalue":{"value":{"amount":"+0.7564653158187866","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":"Q3347269$9F7DDA8D-7829-4F76-8289-7DD8E69271F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3347269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3347269"}}}}}