{"entities":{"Q1708268":{"pageid":1719009,"ns":120,"title":"Item:Q1708268","lastrevid":72171645,"modified":"2026-04-14T03:06:26Z","type":"item","id":"Q1708268","labels":{"en":{"language":"en","value":"Unifying theories of time with generalised reactive processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856068"}},"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":"Q1708268$EDD438E0-C3B6-47E9-BB23-6F7AFDDF1D35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b160e0a7f27b46bbc50a5e0e3cf1724f290f113","datavalue":{"value":{"text":"Unifying theories of time with generalised reactive processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708268$09A76439-9AD0-4BB7-BE40-4B094EBE6AE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2144dfe2c14691aa946bfe618cfc0dcd8d93cb3","datavalue":{"value":"1476.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708268$DEDD5ED9-D8B8-4339-8798-CA410C9A2DDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$F58AEB51-3D63-4F7C-9C5A-908F605EE975","rank":"normal"},{"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":"Q1708268$C7073901-F457-471D-BD13-6825DD1E7A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d150d5bf876b5a829b43934d70c20b18c58f39","datavalue":{"value":{"entity-type":"item","numeric-id":432149,"id":"Q432149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$F3D195E7-F328-4BD5-BA5D-73DD8B9E7EEC","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":"Q1708268$17C6D9F5-CFCC-497B-93D7-D2195A62C4DF","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":"Q1708268$E31D43FC-D473-43C0-B319-6595E3B65A58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb5f99ba419b7cb955bf510c52103b6e8129dbb5","datavalue":{"value":{"time":"+2018-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708268$C75BEFDF-369E-4DD1-9C2A-3A2461557805","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da4f18197ae8be5a1208227a76f518ac89401dc9","datavalue":{"value":"https://arxiv.org/abs/1712.10213","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708268$7B3E8B97-3942-4CFE-A629-368CE5490582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7265a90317b42c7ef4c3d53005c4bfb972ad230c","datavalue":{"value":"https://eprints.whiterose.ac.uk/127797/1/grproc.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708268$D383F332-60D3-4A9D-97F6-7519A84FAE95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708268$460B9106-6B4E-499B-AFBD-45DDEF969110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708268$A0903A4C-7A26-4008-92F3-CB4714708411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708268$7553A931-8E7E-4DE8-86C4-201E6431137E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60230675a286e97351fa308ca83c045cd9392b0a","datavalue":{"value":"6856068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708268$A8A16593-0CF6-426B-A79F-90B3BF1082E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708268$8131A36A-5CFA-4EDB-B442-1EBE67CDDA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708268$3D88A83C-2207-4251-A232-D45D3FDE0537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708268$51791BE4-A0B9-4C05-B0AB-0C85C5C9B698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14ea36c77a2aea854ebd4f52d69f936170923504","datavalue":{"value":"unifying theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708268$8BC5C909-C01D-445F-8860-E5C50D91B476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708268$E6EB1B02-3003-4EEE-8808-F9438555D881","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$A160E746-857A-4B87-91AB-98258D267DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$A7F261D3-2269-442D-8A08-29034EFDEC50","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":"Q1708268$CF50FF8E-9536-40A7-9A22-BE9E42A95534","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29eede65012acaf2cb47294f9dfe5bbdb0c0c2de","datavalue":{"value":"W2779136310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708268$B610A17E-050D-4409-8687-686ACB7C0F6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$9884985A-6F7A-4A8F-B504-1EBA90366314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$04D02A3F-1681-4033-B864-F3D8C9665AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$6C56A436-B556-4629-A795-ABF6EC9D0A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263b81d6f82aa7bc5c419ca585e86c9e4182e475","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$DAC44F60-20D0-47EE-B8DF-AB406F3C930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc99143de283b817191afeeaabe0436b30719fc0","datavalue":{"value":{"entity-type":"item","numeric-id":3455644,"id":"Q3455644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$326FD6EC-37BB-40EB-A73A-540320BC469E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3587daf8b7bb37c28a02a6be9585e6348d1d132","datavalue":{"value":{"entity-type":"item","numeric-id":2971175,"id":"Q2971175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$7BDBF701-F429-4CD1-BC34-453686D1C90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5981e1168811f3b1a276d506216532fa05a55595","datavalue":{"value":{"entity-type":"item","numeric-id":3179407,"id":"Q3179407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$395B377A-9247-41B9-BBA8-6F23529A237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261805560e8f7671e12d39623a18c924c2e4c4d","datavalue":{"value":{"entity-type":"item","numeric-id":2814619,"id":"Q2814619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$991BE7CF-2B29-4626-808A-ECDEF19FFFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3191d327e4c38e7502c1df134dd0e1a734c22c","datavalue":{"value":{"entity-type":"item","numeric-id":3575272,"id":"Q3575272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$E90C774E-2E72-4B85-8FBA-B040C7917267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab3b87eb487fd46f66633d2ee6521f4a3c3fbe52","datavalue":{"value":{"entity-type":"item","numeric-id":5307479,"id":"Q5307479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$C71C87D0-37B2-4DF7-9E41-5894C2E337B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f144f308271a82b15b2db7e392fbbb7f526effa0","datavalue":{"value":{"entity-type":"item","numeric-id":1001892,"id":"Q1001892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$4D43D791-7E4D-4558-8768-070857890A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc62f32ebe5f2c566c09500f98ee202c262830a","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708268$C1E58D41-0140-458E-B68F-EAAABF0CCEB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4d1cd81536e8399fd6ebf8a7895ce2b04d71773","datavalue":{"value":"10.1016/J.IPL.2018.02.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708268$BA1E9ECC-573E-469B-A155-6EED5E75AB91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3f3d4309e6ac2a48c6612e5b03b81a78a208ad","datavalue":{"value":{"entity-type":"item","numeric-id":4013848,"id":"Q4013848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b6f7310ed7f8a5ec6a6458871b831734d9e861","datavalue":{"value":{"amount":"+0.8772157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708268$E93548B8-F980-4347-BB51-6BF682D549A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae8a24c0b8013772e02011100032ad105fac371","datavalue":{"value":{"entity-type":"item","numeric-id":1060013,"id":"Q1060013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc446a6786a358431900a16eaeecfd975f7efba8","datavalue":{"value":{"amount":"+0.8717247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708268$8C0D51DF-D498-4581-ABF4-A1128B12BD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7189fb7e44b1a04de73206579800de916f96a39","datavalue":{"value":{"entity-type":"item","numeric-id":674005,"id":"Q674005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9365b7bbaa36f851e8ec918b4d5dce19cd94a7d","datavalue":{"value":{"amount":"+0.8427224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708268$1107702B-8A32-4FBA-8756-F07D8F0A7F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0aff94a0856d0e6386a52db20b68103ed9dcd2","datavalue":{"value":{"entity-type":"item","numeric-id":407332,"id":"Q407332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ad1de357d9a5551151142aff1bd754c241ebfa","datavalue":{"value":{"amount":"+0.8412316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708268$6C1A4256-1C02-4F37-A327-4D496D255D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fea01e8ba243c399b52ec42c561b309ca2b1993","datavalue":{"value":{"entity-type":"item","numeric-id":3807939,"id":"Q3807939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b5f87c9f9fd85ff693ec32b57b56d420e15eeb","datavalue":{"value":{"amount":"+0.8331407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708268$45392253-A77C-448D-A4F9-A645EA922598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba0c4f2856991cff4a08a471edad0e688d6cd0b","datavalue":{"value":{"entity-type":"item","numeric-id":1704270,"id":"Q1704270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feadb1ce5cef3daa4af263984be19a44642d4fbc","datavalue":{"value":{"amount":"+0.8317754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708268$060579C1-FC09-4C54-9C92-60D1908F22F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0dba853fdd52625c0b5777f5ae48d15226af12c","datavalue":{"value":{"entity-type":"item","numeric-id":5041271,"id":"Q5041271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f178a9139f8f883355f6783597dfb92f15546b","datavalue":{"value":{"amount":"+0.8303252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708268$9C0EC8B9-B333-4EC2-B69E-0B571AE3F5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4812550921dde4bb15fac25d7c88bbad88c721","datavalue":{"value":{"entity-type":"item","numeric-id":6160913,"id":"Q6160913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80920a3f48e87bb26fb8f99c14ae19f0e296b52f","datavalue":{"value":{"amount":"+0.8268412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708268$7533DF60-8F5B-4C3F-A601-E468805A553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a378b5b5c6f64f1e536547f2cd3401a3ece13623","datavalue":{"value":{"entity-type":"item","numeric-id":4437426,"id":"Q4437426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04c2d1e0d7c8d3782f28879dced1a9dcb91da9e","datavalue":{"value":{"amount":"+0.82368314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708268$5B6CED87-48B8-4F6C-88A6-30157E65C739","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unifying theories of time with generalised reactive processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unifying_theories_of_time_with_generalised_reactive_processes"}}}}}