{"entities":{"Q3525098":{"pageid":5555002,"ns":120,"title":"Item:Q3525098","lastrevid":90347180,"modified":"2026-06-04T19:56:37Z","type":"item","id":"Q3525098","labels":{"en":{"language":"en","value":"On Equality Predicates in Algebraic Specification Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344422"}},"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":"Q3525098$F414393B-B023-460D-A631-9551BDCF0262","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1119542974bacfee1024b329058d124fe29b85e","datavalue":{"value":{"text":"On Equality Predicates in Algebraic Specification Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525098$E9CE7BB3-ED90-4967-9CFA-2796AF5146DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06d26cf20aad3764c5130d031c09c56d298cf857","datavalue":{"value":"1147.68579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525098$1186FF07-AEAF-48F2-BBAE-D79DB64135AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e889e04fff5a1a07403dbc58fce805645062bbb6","datavalue":{"value":"10.1007/978-3-540-75292-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525098$DA64CDF1-69F8-4C43-8955-35BC8C73D3C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c79e64447f0e4403845328f956246b16d51dc6d2","datavalue":{"value":{"entity-type":"item","numeric-id":877832,"id":"Q877832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525098$62F79908-70FB-4AC3-B7C3-2D4E376130C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"538d98338ed18bc267458f1ee4a1acd112aa5003","datavalue":{"value":{"entity-type":"item","numeric-id":3525097,"id":"Q3525097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525098$CB7262D9-C1EB-4741-A46E-B968D3E2B340","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5455e2a6e277df376db235f9f0e564aaed31de9c","datavalue":{"value":{"entity-type":"item","numeric-id":3525071,"id":"Q3525071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525098$EBE6EED0-5F40-4A72-9478-FF0D1B4AFE9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c6c778a05329d7667480e28a68302bbad05fa7","datavalue":{"value":{"time":"+2008-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525098$BF9CB850-CF90-4E34-B333-CA3C358CFA61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525098$1035CFF6-4F61-4671-8994-19984FC93CBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cc507d589145c54467ce208693b483f7985f357","datavalue":{"value":"5344422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525098$19233A7F-AA9F-4E36-9DCA-920E38D67D26","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525098$954613D8-576B-48FE-BA90-3EFA1F0BA79C","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":"Q3525098$749B73AA-D066-4455-8F63-FF746673E79F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db0581bcd19ef51ae2b178bd37620050ac93e59e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75292-9_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525098$20C4A1EE-B998-4506-8F60-5E08D78FF47B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"828178d78bcea5e6c5834301a059d441b1e8f786","datavalue":{"value":"W2132503848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525098$74A963E2-82B0-4DBC-845C-C0C78A693187","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d04ed5003170bcac946af1ee44d1739359359d","datavalue":{"value":{"entity-type":"item","numeric-id":5757927,"id":"Q5757927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1dc6e0ca8998c6415a5f8640417877c9ae50b0","datavalue":{"value":{"amount":"+0.7566690444946289","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":"Q3525098$8CB5B28C-2CBA-47D0-B13C-D2CDCBD25BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fcf2e2c0c35e5cf85cb766eb656c24084d39e6d","datavalue":{"value":{"entity-type":"item","numeric-id":5403069,"id":"Q5403069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3402ae9648a402614857a69aad05f5e4bae2ce24","datavalue":{"value":{"amount":"+0.74881911277771","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":"Q3525098$C42EB275-4FA4-43ED-812C-27900EEE8377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a365fff4fd2136a632bcb0b9b444718dfe9cb03f","datavalue":{"value":{"entity-type":"item","numeric-id":2469155,"id":"Q2469155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43755cbdbf42229109332d491c73247036d3aa78","datavalue":{"value":{"amount":"+0.7396419644355774","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":"Q3525098$E03E0990-0223-4E05-90BC-FD1F17D68E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b903357fec427834a3ec513dd48a5a26477985","datavalue":{"value":{"entity-type":"item","numeric-id":3164835,"id":"Q3164835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389377c485236640a10a95448941b0aa43746dd1","datavalue":{"value":{"amount":"+0.7355054020881653","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":"Q3525098$C7CF69E4-11A8-49C6-AD48-037807CCE7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ce37cdcbfcc7383350983ee8324db8eca7d07d","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4de78af9819d93b8d9650b52b289662a06dd4d9","datavalue":{"value":{"amount":"+0.7211423516273499","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":"Q3525098$E8A44C05-4192-4D93-A23B-4B4FB40DE26B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Equality Predicates in Algebraic Specification Languages","badges":[]}}}}}