{"entities":{"Q1784785":{"pageid":1795527,"ns":120,"title":"Item:Q1784785","lastrevid":53214068,"modified":"2026-01-24T11:46:36Z","type":"item","id":"Q1784785","labels":{"en":{"language":"en","value":"Algebraic foundations for specification refinements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6944738"}},"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":"Q1784785$6C77DE78-5894-48BE-A1A2-69065730C911","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9dc359c48bcf667b5a7e8846a48085897963891","datavalue":{"value":{"text":"Algebraic foundations for specification refinements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1784785$E1DFF4CF-2C0D-4C7D-9A85-603D755497FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d4c818ccc419fdb604d4fcff02055a0a864d2b2","datavalue":{"value":"1396.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784785$1E3F0EEC-DE3C-4E52-A8C6-251AA4A2DEE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6d4a5750c678fa6b77ad3bfa5df8bbcae6298dc","datavalue":{"value":"10.1007/978-3-319-49815-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784785$2F0A9DFE-A281-4B8C-89B4-3A5E29E27CF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d361cd9268293c29924e15f6199d570f0f070511","datavalue":{"value":{"entity-type":"item","numeric-id":526729,"id":"Q526729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784785$BB0E1486-1751-42D4-B8B8-C80DECFA99DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e2ff6960fc1a368be50c0bbe7a73042d86b6f9","datavalue":{"value":{"entity-type":"item","numeric-id":903493,"id":"Q903493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784785$A03EC77B-8A0F-4244-89EA-42847367B4E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fafee86c1e45e0bcaa02c3657a70c764319b69c","datavalue":{"value":{"time":"+2018-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1784785$D33B9FEE-5605-4D08-8AAF-C79F4BC48057","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784785$8E47573A-6FB1-4BB3-BFCE-18BD241B3514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784785$134E34DE-2117-412D-AE1D-5EF6FCE12128","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"172b93e118d29e5ce542f430e35f70110b1a4ee1","datavalue":{"value":"6944738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784785$FC558778-EB40-436B-927F-501856ACDE7B","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":"Q1784785$5C0BD996-09A2-45F3-AFD4-9835F0AA87BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b51670176e1e820a47ed3642e4efbf87ac7fa7b2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-49815-7_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1784785$22E1568B-2C16-4325-A5A0-21AA62CA766B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"017443346e3d15980cd2110e2236826e2b1ac948","datavalue":{"value":"W2549778635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784785$9F4077F3-E160-4EC7-B647-47B10149A5F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4ceb1e6a1602cb2bf10cbccba820040af41d42","datavalue":{"value":{"entity-type":"item","numeric-id":5887529,"id":"Q5887529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6190319ed0242451397cfe6d10c711eb247ff0b","datavalue":{"value":{"amount":"+0.7765803337097168","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":"Q1784785$7755D13E-4E02-469E-B344-399B6671751A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5a0a6aace4bd17051951c5570fb1802b6f8781","datavalue":{"value":{"entity-type":"item","numeric-id":2385430,"id":"Q2385430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb677e789eb8c776d2b7070b8a7b8a698bbe1d62","datavalue":{"value":{"amount":"+0.7748647332191467","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":"Q1784785$DFA1D2F3-D43F-47F3-9C87-5FEA7BA88872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e66c955b3bb104e8aabdfd313f1daaf95481471f","datavalue":{"value":{"entity-type":"item","numeric-id":4945249,"id":"Q4945249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3a7129c20ee0a4cf88c10dc42e7aff8bb4701f","datavalue":{"value":{"amount":"+0.7648685574531555","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":"Q1784785$91CF297B-41DA-4A34-8357-6135C8CFEB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b10dd6efcad95784ec5416d36b9a1b91b05b756","datavalue":{"value":{"entity-type":"item","numeric-id":3707381,"id":"Q3707381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a767d6a90b6ad4e0447a0531fd5a0f04c71a585","datavalue":{"value":{"amount":"+0.7613909840583801","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":"Q1784785$8C7ACBDA-502B-4FC1-B788-0C3C2025035A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801560c18046e9412805fda0f75604a15b32ea8e","datavalue":{"value":{"amount":"+0.7533619403839111","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":"Q1784785$2D353DB2-CD70-4078-9D74-3FCA6D5C49EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1784785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1784785"}}}}}