{"entities":{"Q5020577":{"pageid":7050154,"ns":120,"title":"Item:Q5020577","lastrevid":55397203,"modified":"2026-02-17T15:29:58Z","type":"item","id":"Q5020577","labels":{"en":{"language":"en","value":"A temporal module for logical frameworks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7453130"}},"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":"Q5020577$5DF92555-B2E2-42B4-B971-2B63766639DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75341998d416221648f2ae31a16e22e2dd0b96a8","datavalue":{"value":{"entity-type":"item","numeric-id":2055784,"id":"Q2055784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020577$78A32396-1218-4B6A-83C5-BA0675D24F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6d46dcab7d4b47495ad43328c293ba9c8c6f71","datavalue":{"value":{"entity-type":"item","numeric-id":672704,"id":"Q672704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020577$2E5E1910-98BC-4D3F-BB49-9E04F6C5AD2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5eeef85fccb3b9ec0f1e08769d6215b8e0218bd","datavalue":{"value":{"time":"+2022-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5020577$F2D107F8-74C6-4D6E-862C-BF66543E9DAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96a6aa6729106b8a2d69eafc4fd479ea7d2db623","datavalue":{"value":"https://arxiv.org/abs/1909.08256","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020577$F7BBD25A-2CAA-4848-B6CE-D602B85E83EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"af633d5bc365dc539cd86804847012b1bf635d4c","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020577$6D482245-B5DF-4332-8282-F5A4237404FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020577$8B68F781-C411-4B12-ACDF-7B04D1C7372C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebc90ea9aef0375608e9d871c080f1570ccdf3fd","datavalue":{"value":"7453130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020577$C53377F9-6C92-4692-AC19-39828F0E1235","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":"Q5020577$8DD18072-DCB4-4E7A-9493-21F5D1DB7340","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020577$F4290897-97FF-4872-990B-C6B9D69403FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb0710c48a2147a42cc79656c32f9c06e0aa21f","datavalue":{"value":{"entity-type":"item","numeric-id":1815428,"id":"Q1815428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020577$E5153879-85DD-420A-9127-5AB3672B9AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6801778704a65d4b41498138c3d863f5fc2982f9","datavalue":{"value":{"entity-type":"item","numeric-id":2296756,"id":"Q2296756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020577$692A883B-6FCA-417B-AF50-6F49745B0629","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ad1b90df14459f80b9e86233902b90f51489b8","datavalue":{"value":{"entity-type":"item","numeric-id":5020597,"id":"Q5020597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabeb67431104c990dcdff5be8595c3c19b4d887","datavalue":{"value":{"amount":"+0.812049388885498","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":"Q5020577$FAB88782-11E3-4E58-979B-ACC1BF630050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6862f4935e43b77553650db91c3dd0e96ecf72a","datavalue":{"value":{"entity-type":"item","numeric-id":3013073,"id":"Q3013073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cf0e62c3e5f61b57b04f01fdcec308fcebe267","datavalue":{"value":{"amount":"+0.7428209185600281","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":"Q5020577$269DF537-549C-461E-AC5C-F239061892F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9186cfcfa1bd68565fb1b97f3a072187ba0fd4","datavalue":{"value":{"entity-type":"item","numeric-id":5463920,"id":"Q5463920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953ed33acd141a264972644f8673146758700d57","datavalue":{"value":{"amount":"+0.7292671799659729","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":"Q5020577$1D1FEB7D-C6F8-43C9-9F5F-39DAC0766252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04250c54b09fa4e58a5cb9d529b7cc3f1d15229","datavalue":{"value":{"entity-type":"item","numeric-id":945994,"id":"Q945994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4b95c245dd2d6390ef36603cda8c723df3b8b9","datavalue":{"value":{"amount":"+0.7289124131202698","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":"Q5020577$2D1B4C83-C189-4369-821F-415367940A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9102a24b2b7e65e253c723dd0cc56297ec2fe069","datavalue":{"value":{"entity-type":"item","numeric-id":4514714,"id":"Q4514714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128c979683364096ef95acf8bbc8ac14b0570cde","datavalue":{"value":{"amount":"+0.7258377075195312","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":"Q5020577$4286AFFB-392D-4BB7-AB87-A255BBEC0279","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5020577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5020577"}}}}}