{"entities":{"Q1383468":{"pageid":1394208,"ns":120,"title":"Item:Q1383468","lastrevid":67306209,"modified":"2026-04-12T16:44:47Z","type":"item","id":"Q1383468","labels":{"en":{"language":"en","value":"Completeness of the accumulation calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1143974"}},"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":"Q1383468$B8A96AF1-0E4C-4841-8EE8-BED110C3EFAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de03a171cd0868179c29297b03df48e3274f8f12","datavalue":{"value":{"text":"Completeness of the accumulation calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383468$395FE190-9EB8-49D1-B865-41EA27C391AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebb0f39c6d1d70ab99f2f54b5c10c61d1e9e98e0","datavalue":{"value":"0891.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383468$CFABF924-671F-4CC8-82BE-234E6140D6B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5616601023bfd3b358ed38ef30625f3545e60b91","datavalue":{"value":"10.1007/BF02946611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383468$941D51DC-4862-4E11-91A1-849D7837B37A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e30f5203f5b8e6dd0094cc93da862b85afe258f8","datavalue":{"value":{"entity-type":"item","numeric-id":445372,"id":"Q445372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383468$76F6886C-4867-4360-8E98-5062B390268B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b9ad6bf17de8fe10dcd21ad41cd20fa6bf31297","datavalue":{"value":{"entity-type":"item","numeric-id":1288434,"id":"Q1288434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383468$ED4082C0-8849-41F1-90AC-F85F63D3A071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"762511c89c6e26c5b4107c52cfe65a60fddb9265","datavalue":{"value":{"entity-type":"item","numeric-id":1101200,"id":"Q1101200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383468$8E30012A-AFC0-42D3-8963-6755B2BAE02D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383468$61C2A4BC-A883-42DC-88C5-90F0ECF37224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f680ab37822a66c306de184badf1c6b2f8f85485","datavalue":{"value":{"time":"+1998-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383468$7D7BBF85-3297-4403-85CD-2AD8D4D3C0C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383468$518DF5AA-7700-4653-9194-6831BEBF1BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383468$47DFE4F8-5735-46D9-86CF-4AACE60903F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aebd56ece29b22b1f6619e490dbf3b40025efdc","datavalue":{"value":"1143974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383468$ED975505-248B-4954-A8C0-07E67734A3EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383468$4855B899-BCE1-48A1-BF46-A009E4794F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383468$294B889F-BD12-4F7C-A18C-514F7708AC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc68b5a5a54ce8fc4ac47c3a986968981af039a","datavalue":{"value":"accumulation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383468$229EBDBA-055E-436C-A186-B8A1EAD9ED64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f04c88ff7bcec1a627ac4be3fb3aba76f273eee","datavalue":{"value":"interval based temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383468$9129D1F5-981B-4671-BAB9-F81B5418F209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73cabc4f954628c72bb0fe454b4ccdb2066615fc","datavalue":{"value":"hybrid real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383468$36654A01-6C93-42B2-A4EA-3B8A445F04C5","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":"Q1383468$B9866856-A649-4A3B-B18C-C6BA3EAE7210","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5781430c3bcca2b0df40d4fc7fd2bfdf2c1936f2","datavalue":{"value":{"entity-type":"item","numeric-id":1323323,"id":"Q1323323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383468$B41185ED-0A72-4616-A1D4-D2261463DC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383468$3000352F-A858-4EBA-AD21-727921926F2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f08b30030519edfac2c9c64e2d4c8b88e3307230","datavalue":{"value":"https://doi.org/10.1007/bf02946611","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383468$C254EE60-2F8F-473F-B79F-7A1230297466","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fa11550554c10277eb16edcd03b5ab03c651ef2","datavalue":{"value":"W2140287654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383468$C488FB5F-9A9E-422B-878F-30A7D17C7E26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35fa9b5d0c819c0f23378f7b11a924dc8d51bdee","datavalue":{"value":{"entity-type":"item","numeric-id":5426069,"id":"Q5426069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2b2be3c7641974f4788715922104bb1bad139d","datavalue":{"value":{"amount":"+0.7690199017524719","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":"Q1383468$7EF0D698-E546-45CF-9CCC-6AB95F561FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efa17ce764cedf22884c09901cabe9430db29c5","datavalue":{"value":{"entity-type":"item","numeric-id":2754146,"id":"Q2754146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c814823e789346a236896f3bc2c41c380d33c96c","datavalue":{"value":{"amount":"+0.7597858905792236","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":"Q1383468$645EB700-B519-424D-930D-82A46C52C1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049cca40cb3b01e2c4d3852ca12ff7b0e501a6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1421487,"id":"Q1421487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a594c32019840341e47209071c9457a63580ff10","datavalue":{"value":{"amount":"+0.7466527819633484","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":"Q1383468$2BE33D57-B3F9-4EDC-B806-01CB8D264F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a81aa1aa38f8c6216db2d5aa98b73833da671a","datavalue":{"value":{"entity-type":"item","numeric-id":2904627,"id":"Q2904627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b05af10bfe5fcd99321e2f698b5d830d7178425","datavalue":{"value":{"amount":"+0.7463986277580261","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":"Q1383468$AEFCE4B5-926D-407C-BD71-C3F941408C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860c07a53187c2c7d3cca1c0070eb2339bd0b422","datavalue":{"value":{"entity-type":"item","numeric-id":4520799,"id":"Q4520799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc86e0358fd48b9754713482527fef6b627c3cc","datavalue":{"value":{"amount":"+0.7406092286109924","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":"Q1383468$CBCCB8AD-3470-41EC-AF65-20EEE85A0211","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of the accumulation calculus","badges":[]}}}}}