{"entities":{"Q5145353":{"pageid":7174924,"ns":120,"title":"Item:Q5145353","lastrevid":53911700,"modified":"2026-01-25T22:23:28Z","type":"item","id":"Q5145353","labels":{"en":{"language":"en","value":"A fixpoint logic and dependent effects for temporal property verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298801"}},"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":"Q5145353$36A6DD65-CA68-40C4-9CE9-0F193BC8009F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a82bedad8d4845ad9e3b1642c4b51b005f6b3eac","datavalue":{"value":{"text":"A Fixpoint Logic and Dependent Effects for Temporal Property Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145353$42DD4E5F-C639-425E-AE68-12C4ED0F9680","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3449d19d26c6bb464d8df037ef75da81965ea25f","datavalue":{"value":"1497.68317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145353$E03F96D3-B52D-4A3A-AD9E-446D79E0FCAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cc4772125f792bc961d75c92d496d4903d28b12","datavalue":{"value":"10.1145/3209108.3209204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145353$E9528065-DF3F-4C96-A748-B1F43826C269","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5611b58c4d2a76eb41b64f14b1e4f12c42b3d4b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145352,"id":"Q5145352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145353$EE30B50B-9630-498F-817C-873E2198B576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad89601800dc23413dc7ca174df857b300e44e3e","datavalue":{"value":{"entity-type":"item","numeric-id":832226,"id":"Q832226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145353$C43D04EE-8A30-433E-9C42-F663D2E873D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3428d6758c8cd969fb5cc602f40fa07e68de0b76","datavalue":{"value":{"entity-type":"item","numeric-id":832228,"id":"Q832228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145353$A52BD1C1-0B4A-4269-BAE1-ED6F41672692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb2b3863299559ef6ebd59e50269b0807955a10","datavalue":{"value":{"entity-type":"item","numeric-id":832227,"id":"Q832227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145353$56632DA4-DA06-4EE1-89AF-6C24EBB1EC52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145353$5DF999C3-29BF-4CD5-A9F7-9A503622CA19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145353$9649C8AA-C329-41D6-9440-6BBD14954FC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145353$11027FA6-D7A9-41F4-B6F0-A2EDBC0A24E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145353$AEA55A1C-C080-488F-A824-D0A9806D30A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b24588d2f1606f0ccd96f60c04dccd2540192546","datavalue":{"value":"7298801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145353$F7F5F5E4-A37B-48AE-A3BD-5FCDAF99D2CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc5cf9bd55438ec7d23d2c03f63ef125ec1a591","datavalue":{"value":"dependent refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145353$ED73C19B-1D4F-4056-8C9A-AEFBD73799D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c375697b81de64f3091cec11a66f4371adf5ebf","datavalue":{"value":"dependent temporal effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145353$E560E0CC-6CA9-42B7-9C60-0D5437204561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2baa565f2f6e404ad2d47723b10d9eb8c186122","datavalue":{"value":"fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145353$608862E9-886F-4BB5-8C63-A6F96DBFC6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024e260e8fd79d5f0e614a4825adfe2815bc0614","datavalue":{"value":"higher-order programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145353$6FE0D7F9-3B4D-40CB-9B8E-B736B4655D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1125e3fda39332df1f0e96e9310992bd88b573b9","datavalue":{"value":"temporal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145353$B055C9A3-4B03-457B-90A6-1E410DAD2EDE","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":"Q5145353$8EAA260C-8DF5-40CE-8B3D-7D74892770AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c438c3db7dea821ffe9e5b309dcd3c7a5bb9853e","datavalue":{"value":"https://doi.org/10.1145/3209108.3209204","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145353$91A6877F-5313-4596-ADF7-7214CE11B26E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"726d27d0f27b11391a9989aa608216fa4c7f328d","datavalue":{"value":"W2811195459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145353$AD4CFA31-9DE1-415B-BB0A-9F9A9428F796","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"312334cc8221cb6501db933091760faf5822eaa9","datavalue":{"value":"Q130838823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145353$66A0A119-890B-4B83-9E52-C7AC746C15F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa60d847b50a8789ae0cdc5d86e4718730d690a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635644,"id":"Q4635644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf9353b635c1d1811954c16e8c14090cf73aaaa","datavalue":{"value":{"amount":"+0.7893897294998169","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":"Q5145353$4D643463-DB99-4764-8CE5-6F8FF545581B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad09c1261ab2a41431f8b4e79603160989066be","datavalue":{"value":{"entity-type":"item","numeric-id":2233479,"id":"Q2233479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f365605135f154e15f59535cd6b02a3c50953f5","datavalue":{"value":{"amount":"+0.7530762553215027","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":"Q5145353$CCE20619-E730-49AE-824A-FE861961E03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc0d2057f08451429e303894452f7af869ad74e","datavalue":{"value":{"entity-type":"item","numeric-id":2828245,"id":"Q2828245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31abbd23c2d90e4a84c3dee4de8ba7dda62a3bd8","datavalue":{"value":{"amount":"+0.7342785596847534","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":"Q5145353$05145AB7-8AE9-4E2C-A60D-24DD98F06A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25c8c67db24eccaddd556d8e0bb23af28d0a350","datavalue":{"value":{"entity-type":"item","numeric-id":5464061,"id":"Q5464061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72cb128ba630c3dd2e1977170356c24a7b1c0e91","datavalue":{"value":{"amount":"+0.7339274287223816","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":"Q5145353$3B6DF1B2-137D-4715-A37E-1E5CDB838DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4599161c3141d41b963eaee6a517f0cbf62f4ecb","datavalue":{"value":{"entity-type":"item","numeric-id":2038070,"id":"Q2038070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c587d4f9e96e4a00632cf016eba2fb38e9cc1935","datavalue":{"value":{"amount":"+0.7240853309631348","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":"Q5145353$045DE723-BA06-4565-B472-9F920BF61A10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145353"}}}}}