{"entities":{"Q915472":{"pageid":917320,"ns":120,"title":"Item:Q915472","lastrevid":49389133,"modified":"2026-01-07T02:05:52Z","type":"item","id":"Q915472","labels":{"en":{"language":"en","value":"A rewriting strategy to verify observational congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4151839"}},"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":"Q915472$A4501D10-6300-4650-8C4F-42D1593EA352","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a3ba010505e6f53b306bd105db55e0de4113acc","datavalue":{"value":{"text":"A rewriting strategy to verify observational congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915472$8AE506EE-4B81-4067-B7E3-8DC31CBF38B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79a9ec9054b749438c88451d8183bf71b928d73f","datavalue":{"value":"0702.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915472$2CEA632A-9139-47EB-AC6F-30F84D87764E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca0f0f931a84c05cbeb3b3eed56f2d4cfd061de2","datavalue":{"value":"10.1016/0020-0190(90)90023-Q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915472$82E3B871-9334-4FCA-9F48-919C53995837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f900f77ef10c59a03f069c5af5579652c6549dc","datavalue":{"value":{"entity-type":"item","numeric-id":672233,"id":"Q672233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$864E4BBF-EEC3-481C-A9AB-8C88C9ECA2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ee4c8c1a79b9afc061b0d6b7a179857b6ef91ec","datavalue":{"value":{"entity-type":"item","numeric-id":672234,"id":"Q672234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$4C21AA9F-E7DB-4F1D-ACB4-A48F20AADAF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$6421B777-D90C-495D-81D3-978E7941AE7B","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":"Q915472$881627C9-D26D-4955-A290-220A2E5B53EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915472$921CDCF7-F5F4-4657-A0A5-08571A17E8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915472$11D69C85-3CD0-46C5-9412-5321C04CB5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915472$ED828CD7-4DAB-48C8-8D11-DC5C7173D5F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31286c0fd8a351fc7eb04cf061a6e559265aabd2","datavalue":{"value":"4151839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915472$A4F232C3-5D28-421D-9786-22691F01184C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q915472$533C5FCA-2DEB-4299-885E-694A1D75C3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q915472$55EA70BC-0BF7-410D-A21E-70FC9FAF5D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q915472$02E98478-7FED-4F2C-8E2E-6EBE27C23F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q915472$D150B12B-DEC1-414F-900E-69AA24192511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79e31496d11f73c7d8c7a3026ef41cc58d335a8","datavalue":{"value":"behavioural equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q915472$00510231-7408-4539-A13E-8779AFDE65D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q915472$7ABDEB42-2EAF-4436-8445-A1EAE57B2ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q915472$DF03950B-E806-479E-A501-FB655459A00B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$8F91245F-CAFF-46D3-BCDA-80EEDA081EA9","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":"Q915472$579E6D0A-AF42-4A2C-8EC5-DD4C359B2A12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3455e3f4a94a330dba477e08dabbd126fc6889f9","datavalue":{"value":{"entity-type":"item","numeric-id":1262752,"id":"Q1262752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$F7416ECA-8DB8-4BD0-9FC2-ABF9AC8F21FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f5286c26b21fe3ecc652fab2151971a5613c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1072371,"id":"Q1072371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$89E069EE-11F2-466D-B51D-E65CB9AA9447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257a80ac5671a5bf120829a86751c4d567c60d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3814799,"id":"Q3814799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$B547E948-61BE-4B95-8208-6A701C9894E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$051FC52D-18A7-4D38-8443-4F9DB2924EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$3EC013ED-5857-4DC2-AA0D-14D4A776F15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f516e5dc4dcd28ea889a0e6ad391d08a2cc1dbc","datavalue":{"value":{"entity-type":"item","numeric-id":3805889,"id":"Q3805889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$0D5B1267-8574-4702-936E-5ACC8E4DF918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$EE13C584-CA76-4CFD-82FE-2AFB6179C05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7218fb4217aac67a16394ff1ca6cf143809e636","datavalue":{"value":{"entity-type":"item","numeric-id":3750114,"id":"Q3750114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$5ED4F591-6CAC-43AB-8F71-755B0F8EF002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915472$E89578D8-FBD2-4785-BC37-D909E6368012","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"982886c9baef1b3bbd4bfec034915c845dab553b","datavalue":{"value":"https://doi.org/10.1016/0020-0190(90)90023-q","type":"string"},"datatype":"url"},"type":"statement","id":"Q915472$AF736072-A39C-4B7C-B53C-6CC6232851A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df48ce9f52f876fae9e2fdc88abab730b98ec897","datavalue":{"value":"W2021553745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915472$2A9C6C41-4A06-4979-9767-E5682CF06447","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc641eb70d8b1bf846a29f4608d2d1b2f887538e","datavalue":{"value":{"entity-type":"item","numeric-id":673974,"id":"Q673974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdfe56a1ecd8d1d79ba5c201e83d1acaedbe2496","datavalue":{"value":{"amount":"+0.8643233180046082","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":"Q915472$95F91B2D-3073-48C0-A5EA-70E3A7924DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d847ab10c890ec5ca9b471f950f46d8e8e218e","datavalue":{"value":{"entity-type":"item","numeric-id":2894572,"id":"Q2894572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1d227e580d6900a7b9edc49cac6365f24fd56f","datavalue":{"value":{"amount":"+0.7836416959762573","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":"Q915472$73C0A30D-A261-40A3-ADBC-AEADE2AB7A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5c67b817ac331555e9d01169312e738ff34723","datavalue":{"value":{"entity-type":"item","numeric-id":3814799,"id":"Q3814799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c825f60c45c5496042684ba5a098d82dec49524f","datavalue":{"value":{"amount":"+0.7221603989601135","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":"Q915472$3E97DCAE-2EE4-4EB8-ACFA-8A51D0036464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca64d8b705b092d78c5bc10ef60ad2b2305d01e","datavalue":{"value":{"entity-type":"item","numeric-id":3343432,"id":"Q3343432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5403d6bee9abb620f2fcde780dbb48540d0d9f67","datavalue":{"value":{"amount":"+0.7169517874717712","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":"Q915472$D492828C-8791-424B-99C7-642D4F86F7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7a01e39d09d17e42d1a73363c7547848e5ca00","datavalue":{"value":{"entity-type":"item","numeric-id":3719814,"id":"Q3719814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b81838d34286cc359d492af4c039a5be5271ffa","datavalue":{"value":{"amount":"+0.7088245153427124","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":"Q915472$F8B81089-CE6B-4952-81D2-47AC1E792935","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:915472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:915472"}}}}}