{"entities":{"Q1818306":{"pageid":1829048,"ns":120,"title":"Item:Q1818306","lastrevid":46864905,"modified":"2025-12-25T18:09:58Z","type":"item","id":"Q1818306","labels":{"en":{"language":"en","value":"An inconsistency in procedures, parameters, and substitution in the refinement calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383797"}},"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":"Q1818306$107805F4-1172-4F65-8569-B32ED62DF0B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14e2d62ca103c5dd7c0e1238bdecf0e7cb335881","datavalue":{"value":{"text":"An inconsistency in procedures, parameters, and substitution in the refinement calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818306$2250A941-6CB6-4616-8178-FD4BB5D934D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53c36eb9e7df3b1d816bafe3d61ec4391d9989d8","datavalue":{"value":"0942.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818306$5AD6C012-86E3-48FF-B6A1-B126D36D0142","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"732f82ee4718536bcfafd7cf8308ae476d6ce4c2","datavalue":{"value":"10.1016/S0167-6423(97)00015-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818306$36DC0747-CC9F-49B2-A3AD-F4C4B5C80E23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818306$322985F8-BF68-4825-AC2E-5B32AB2F2D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a6fdc4ebcefbbd3979701deb01ce817be9a62","datavalue":{"value":{"entity-type":"item","numeric-id":175412,"id":"Q175412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818306$E803AE1E-4EB8-487B-ADFD-26D6410F5BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818306$4D4AC981-1BCD-4CF4-9D88-90B50F227994","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":"Q1818306$ABD14634-DED2-4E84-9DCA-7233211D5AE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0132e21ad022268d8d4b41a82438346885545ef","datavalue":{"value":{"time":"+2000-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818306$D7276AC5-75CE-426D-B044-D18EB9F7C8FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818306$B5EDFDD7-58C5-425B-ABAB-AA98A004FF3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8edd530c2f61f0deb6265cb5d710d85e71212c8","datavalue":{"value":"1383797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818306$1943DCDD-2950-4668-8ABD-4479B2C1EB7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818306$AAF72F1C-9E70-48FE-9905-13ECD0D07CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818306$592BA311-86B5-4988-B508-D39DD172EA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818306$87DFDD44-1FD3-48B4-8D78-D35A3236C63C","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":"Q1818306$4716B40F-CF25-4AC4-8B38-00B1C6AE4098","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8f14d904a6847a4854ba9b0e6d9ec2b4cd33184","datavalue":{"value":{"entity-type":"item","numeric-id":1113659,"id":"Q1113659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc82802050aa976fe65e25bc0c7974e92fe3b65","datavalue":{"value":{"amount":"+0.7139230370521545","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":"Q1818306$DF064C76-E18B-456F-8865-53BEBB2714F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76551ff5c9fd5fb8842aa63064a20073649bfd60","datavalue":{"value":{"entity-type":"item","numeric-id":5437648,"id":"Q5437648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"defb86cb6a471de4e240f5fb994c093ad0effe29","datavalue":{"value":{"amount":"+0.6932279467582703","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":"Q1818306$757861A8-6685-40F7-9F48-E492228E628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be14ee3b3bd3e590de36c2e655d28daca8a3e4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4250662,"id":"Q4250662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45b3bbc7f96161165e7955df2db1b1ee037ba4c","datavalue":{"value":{"amount":"+0.6836063265800476","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":"Q1818306$4F29FCB1-BFF0-487D-8219-05E7694E2001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773eab264757d5593ee588a5041c5496c3fe61e2","datavalue":{"value":{"entity-type":"item","numeric-id":2432239,"id":"Q2432239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0769fcfec126bd75210d3e867da0b21d7c010f77","datavalue":{"value":{"amount":"+0.674707293510437","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":"Q1818306$2A17EF87-7C67-4E08-A2FB-A2522D4613F9","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":"659711946752326856cea36c56526d9df741546a","datavalue":{"value":{"amount":"+0.6722627282142639","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":"Q1818306$344C2BB5-E100-4C38-A4C8-67F2E93D2028","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1818306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1818306"}}}}}