{"entities":{"Q4860769":{"pageid":6890349,"ns":120,"title":"Item:Q4860769","lastrevid":47380594,"modified":"2026-01-01T14:02:21Z","type":"item","id":"Q4860769","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 830431"}},"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":"Q4860769$0EE17729-B880-4D85-B5DE-086401DEB8E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62c329880a0e4834aa1095b3937d77cada0198d5","datavalue":{"value":"0849.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860769$A10ED7DD-0898-4F40-A005-AFB1F98EA85F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d6c6611abbdcbd4479c24e8e5cb9d581ed2b77","datavalue":{"value":{"time":"+1996-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4860769$14442E22-933A-496A-9AD1-C8C426B23F09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860769$A85B1B1D-F7F8-4692-9D90-9C69B1CAE824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860769$A8A0F391-2986-4441-9AA2-61012A9A0F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860769$E103F426-7DA4-44F1-8A19-9FDFDE2AB80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860769$793134A2-C365-4984-ABFC-6A627A378AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860769$665825E3-3EB8-4C98-8DC4-796DBBB5308E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860769$4EC9CDB8-2CA7-4680-A136-92D93E385A5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfa68402f90a6cfad5a69e59ff75c32f9e2be940","datavalue":{"value":"830431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860769$7C72E07C-C41B-4E6A-844C-8CF4CAB0CEED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa2d5c7ad0957d61db575ec8b9e4584e60cf2fa2","datavalue":{"value":"Time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$153E3A9B-C00F-4C90-BE9C-FBD9E34F75EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$DF9CB455-6471-4A40-82AE-44A8AF6900D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b051db190c5e2972645149203b877574a39e8f3","datavalue":{"value":"Computational approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$6E3356F6-391E-4A1B-87C1-13A46306F595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$C2870B99-260A-406D-B57E-098F8E258AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9301891f7c0a2d8b6185f289df40659123855914","datavalue":{"value":"time representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$27D26EE5-7BCC-4080-9248-E4C93D994AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff71010abc89730f6a9d32fe7cad0486b931ebf5","datavalue":{"value":"temporal proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$12855B6D-3B27-496B-B789-A3CA0CB0E506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$D2389883-A84E-456B-8190-AD9CE703DC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$82BE3D5C-9FB8-4180-A38F-CC261202D17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$1AF962B3-4DAF-4EB6-97C8-8F0D50AB8AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"708d896e4865cb92c8c373abc118940c88ca4686","datavalue":{"value":"effective proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$D1D09FAE-43A9-4F14-98A1-CE14FCC6DF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$11695ADB-C407-4056-8D44-B2FF5D4E45C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$0F39CD84-2A30-404C-B00D-A7D7714D2872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28d57bf1fb0e79e00ec81ffc86f7b12d879dd56a","datavalue":{"value":"temporal program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$E79BCEA7-DD12-4A71-9C92-809A048F16F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$EBEEFACF-6946-4A88-9893-AC295A691A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$3F929E78-7BC3-4E2A-B086-E795A9C7EA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2eb672e0c3428b9245c7aaf6bf6bb1f81cc584a","datavalue":{"value":"partially ordered time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$84CC4E62-D426-46BF-82B9-E4772BC5CFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"319b0b206691a3c048544ac91b888bd6c472d0e2","datavalue":{"value":"random environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$B757B0A8-7BB5-4AF7-B47E-B90AF279FEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$C6343795-13B8-4ED8-A281-3BC874163743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93492db4f1648619478ae1265cec11a5a9717ce","datavalue":{"value":"relational algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$0AD105A3-2510-4471-B807-5FB8D6808386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef4bbbd171ff66861247df61a1be2ca7c7a1a8a2","datavalue":{"value":"axiomatizations of time structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860769$4DF4D313-D5AE-4C7B-B17F-7989E69A0442","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":"Q4860769$3AE56030-1BB4-4B2F-B9F6-3A2F9761AF9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09512c74b14c148e75f2a44a62196c13d114c0fc","datavalue":{"value":{"amount":"+0.8426256775856018","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":"Q4860769$1AB5A9DB-ED97-495D-A9B4-CBB48C640EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"784369ba891a7654b55e9c949e87f1ac82a48325","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f7e81449fd76a7e21558f8a6bdf7c1ac517236","datavalue":{"value":{"amount":"+0.8420565128326416","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":"Q4860769$C8CA3C68-BAA3-4139-8CF7-55EE0C08AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"157640a3dc95f22be3775391d69db1ab13ff75aa","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f9c642e84eedb301ec546093ee6de43d84002b","datavalue":{"value":{"amount":"+0.8303828835487366","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":"Q4860769$8A512DDB-85E4-4138-BE81-B4DD9B681128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf40a6eb611a651bf861eae9f9561109e61a6d15","datavalue":{"value":{"entity-type":"item","numeric-id":3998525,"id":"Q3998525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"390790eae3e3837f0f0d875ae21aee73e87cd7be","datavalue":{"value":{"amount":"+0.8289233446121216","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":"Q4860769$B214E1FE-DD36-4068-905A-5FB00863E262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d28b87a147de28bc2134ecb2ac2c43a15e3583","datavalue":{"value":{"entity-type":"item","numeric-id":4733377,"id":"Q4733377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"869a03d8a5a4fbc605811cac9589361f53d0629b","datavalue":{"value":{"amount":"+0.8278043270111084","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":"Q4860769$C09AFF0F-4EF9-4487-8C22-9D8EA7F7BC4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4860769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4860769"}}}}}