{"entities":{"Q685615":{"pageid":687464,"ns":120,"title":"Item:Q685615","lastrevid":78196349,"modified":"2026-05-06T11:01:05Z","type":"item","id":"Q685615","labels":{"en":{"language":"en","value":"Exceptions for algebraic specifications: On the meaning of ``but''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417473"}},"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":"Q685615$7429A275-3EBA-4153-AE73-5FC06DE58A72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d03e1c31378596dad153df7972e3a3c28cb628ee","datavalue":{"value":{"text":"Exceptions for algebraic specifications: On the meaning of ``but''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685615$AECEC5E5-F775-4F2F-9980-D493C814E884","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc3aadbeb7f5c85b2391d395607bd0facf82b38d","datavalue":{"value":"0783.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685615$DF09617B-7F2C-427A-A52B-4D09C410531F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa22a7ecd850dc667acad310c1dc044136f8b0b9","datavalue":{"value":"10.1016/0167-6423(93)90023-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685615$AEDE0160-F209-4E5B-AFB8-01EFEE66EC11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5ec58a0b89f617124dd985267643140ebe98b26","datavalue":{"value":{"entity-type":"item","numeric-id":685614,"id":"Q685614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685615$DEB46ECA-E5F3-476F-8180-52355714DE48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685615$834E663B-9F86-4502-A741-D26203B2C941","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a4582cf37b19337c7eae16fd67b6e107844c9e6","datavalue":{"value":{"time":"+1993-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685615$362026E3-5DB7-4BD3-9256-D26199AF9636","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685615$D9EA18A5-9478-43CC-AA73-2CA4DDDC2CA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e44ffe6cae2c2fba8c371df65ab7d388ad226ca2","datavalue":{"value":"417473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685615$F6CEA122-C562-4154-AA76-1CF5DEC38E48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685615$56783EA3-BD15-404A-8CB3-F55F6F2C5DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q685615$EFC08870-0B05-49DB-8D8C-091EB15E8EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16260849d15e6a1f1a5e5b052c5f4dea3365792c","datavalue":{"value":"exceptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q685615$2CE62686-7325-4FB6-9604-792D3901B7F1","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":"Q685615$DD844449-321E-41D8-BEC3-E11F00F1610E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"520cbf08dcb99f7cf87cd5d56188500ee9d5a00e","datavalue":{"value":{"entity-type":"item","numeric-id":759478,"id":"Q759478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8a1acea6441d91afc5c04197e1c771ef2b7856","datavalue":{"value":{"amount":"+0.86926854","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":"Q685615$2556D501-B346-4C8A-B050-DBB3C4FE8B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82cbd1b6ddcd96dbbf124aa0d98bd40d6f89fbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4931291,"id":"Q4931291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4adb90a94662d55af35311b9f23919fd8ffd4043","datavalue":{"value":{"amount":"+0.8542946","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":"Q685615$4E9BB070-4DA7-4C88-8F9C-8DC9B7F50DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6724ca2932d6eb4a297007a7e09684b861dbe579","datavalue":{"value":{"entity-type":"item","numeric-id":4882494,"id":"Q4882494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef2f45d407f28f4137ba9062370aec83cdfa32e","datavalue":{"value":{"amount":"+0.8429662","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":"Q685615$FB29174F-20FE-46B9-82A4-D217F7F27546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d762ba8246b4840ca1c763bc6118e4a112406c12","datavalue":{"value":{"entity-type":"item","numeric-id":4808738,"id":"Q4808738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efcad7e63a39a1d9a20824c3b1fa36704a58a6e2","datavalue":{"value":{"amount":"+0.8408794","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":"Q685615$CBE1A3A9-156A-4559-ABD6-E41E8B87597E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc06282cb0fc9a525420919b18192db3c6bd865d","datavalue":{"value":{"entity-type":"item","numeric-id":3345751,"id":"Q3345751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d566961789d37a16e660c7d17e18f4a405e863d5","datavalue":{"value":{"amount":"+0.83874303","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":"Q685615$F70EECA3-0086-4B5A-8321-2AD89F44DE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf0599939b6c2eb993a2c003d0da90c1aafa8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3707380,"id":"Q3707380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec8b7d738eaf8d182e21ebf78c60371f8cfcb1f","datavalue":{"value":{"amount":"+0.8383189","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":"Q685615$5E184B98-0D1A-4775-9D39-F33E007ACDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e278d8977b0517da1506446f760caa71df8e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":3713576,"id":"Q3713576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ecac74da533c1cc27f66613089f60b467ce9ed9","datavalue":{"value":{"amount":"+0.83483666","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":"Q685615$A9462481-2A66-47EA-8722-159B167BA7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808c9339960f15383fef18de8a9df14a2098bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":5704002,"id":"Q5704002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc2a280fa67d4fe7dd1af1acefa8b50bcb3b790","datavalue":{"value":{"amount":"+0.8341439","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":"Q685615$D8EE42F8-52F3-49D4-8F2B-3A32A47C8950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2d4e7ff04dab08345c01fa6e07937a622174af","datavalue":{"value":{"entity-type":"item","numeric-id":5184389,"id":"Q5184389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2e6138c31e340226dc3f48c2b0888ed83eb38b","datavalue":{"value":{"amount":"+0.8330994","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":"Q685615$BAE8DE21-91FB-4D2B-B968-8F29037F2864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb9f33aebd8a49da70c903b28b452ebe4dc7c66","datavalue":{"value":{"entity-type":"item","numeric-id":4430324,"id":"Q4430324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285c9ff3c96a2b174dccfa19f4340972ce973c18","datavalue":{"value":{"amount":"+0.8327131","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":"Q685615$B631420F-C1DF-4CD8-A058-F2614A96B15C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exceptions for algebraic specifications: On the meaning of ``but''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exceptions_for_algebraic_specifications:_On_the_meaning_of_%60%60but%27%27"}}}}}