{"entities":{"Q5096080":{"pageid":7125656,"ns":120,"title":"Item:Q5096080","lastrevid":58433706,"modified":"2026-04-05T05:06:56Z","type":"item","id":"Q5096080","labels":{"en":{"language":"en","value":"The Density of Linear-Time Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571421"}},"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":"Q5096080$35D5DCBA-FB6F-4E75-9AC0-6325A8164D30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"527b0b38b6f3bce3541af648b2d4c8af215b31f0","datavalue":{"value":{"text":"The Density of Linear-Time Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096080$C87A4D1E-F815-495F-B052-BB92F374D41F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"092db614dbc18a17c4324bd728f6bd10c0f6afeb","datavalue":{"value":"1495.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096080$F4844A07-2D57-4F2D-B41F-964A6B2F78C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"140e9c595e7e3889394cf4bdc3475e4f991099d2","datavalue":{"value":"10.1007/978-3-319-68167-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096080$76220D32-ED54-436C-A43B-90536D3200CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096080$2CAA2491-47F7-476A-9471-B88C4CE09427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1e6ca78795ba5f1656360fb5231707af1dab8cb","datavalue":{"value":{"entity-type":"item","numeric-id":832290,"id":"Q832290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096080$C3408F87-F0B8-4E29-BF04-64F1768FE530","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096080$D29724C5-009A-4CE3-92CC-FEB11FAE2F17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096080$73E56B25-7E26-41DC-8699-E729427A8808","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62f3f37b42cfe8b6b1cde8055a07d47be3f20d7a","datavalue":{"value":"https://arxiv.org/abs/1803.08890","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096080$0720D862-230C-4964-8783-C30A1273B6F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096080$39BB504D-799D-4728-AD13-B670A3E625F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b91a59966b9b2f55e94844c11dbecf1e68d8232","datavalue":{"value":"7571421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096080$301EFB0B-ACEE-49C5-A12F-BBAD1C9B91EF","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":"Q5096080$A5002D28-1D26-4F87-95DF-40F5C3019828","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e1551cfad561ec886925f6032d2f49f3602c5d2","datavalue":{"value":"W2758661156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096080$338748E7-4B1E-426E-A4B2-F918AEC8523B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7715c5f79dd4739952420f4137b260fe0dd59844","datavalue":{"value":{"entity-type":"item","numeric-id":2218465,"id":"Q2218465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7620b857b4d9f83b2b00216fd42f3ab83f7b114","datavalue":{"value":{"amount":"+0.87975895","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":"Q5096080$12613A58-21E1-44FC-977D-937DE50F9DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c9d2b208faf2b6b41dad3e6b95fc9bf81a3be3","datavalue":{"value":{"entity-type":"item","numeric-id":3358229,"id":"Q3358229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa09f1f86c9e353fd5db87180f11508ac8985846","datavalue":{"value":{"amount":"+0.8742143","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":"Q5096080$2A183426-7A17-4CAD-9242-C6CA409D0A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a871048f7e5a4fb0cefe6b2c924598f87d7f4b96","datavalue":{"value":{"entity-type":"item","numeric-id":4218942,"id":"Q4218942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da2118dd0ea499a077060efbcff3a6362348dc1","datavalue":{"value":{"amount":"+0.8675111","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":"Q5096080$910F83C4-6B87-4FF1-9306-297AFF16C702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f4fded09eaf2adb144e3cf16edadf56a92cafa","datavalue":{"value":{"entity-type":"item","numeric-id":4251045,"id":"Q4251045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0afb134207c72f9b427f09fb97655a10fad19387","datavalue":{"value":{"amount":"+0.866289","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":"Q5096080$72D8D9CC-E4A0-45DC-A833-247AC8CA559D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb854b5a40d01e83289e18b8f6389aeeeb6d542","datavalue":{"value":{"entity-type":"item","numeric-id":3974876,"id":"Q3974876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db48ccf2f6cc98edd15cad85045f3a1f3b5482b","datavalue":{"value":{"amount":"+0.86446995","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":"Q5096080$F0825E43-96EC-4C99-9224-8EEF22445915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9db79e81ce9cd12666418d0f3326905fbbb8875","datavalue":{"value":{"entity-type":"item","numeric-id":4222816,"id":"Q4222816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a28d5fe05b4b534e6e0fdcc2411aa3f124b6d8","datavalue":{"value":{"amount":"+0.86297196","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":"Q5096080$1B62BC86-A59D-4E79-A52D-49F5919A48B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"092a3d9e9e2714b2351d13caebb2a5d7cb311bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3062108,"id":"Q3062108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17b89a013ed5d7e940fca4fd1e82b39a45c209f","datavalue":{"value":{"amount":"+0.8618406","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":"Q5096080$7A667B1D-2E7B-448B-B037-D9CFBCB5489E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3705347daedd6c5705a27d41305ed13d0e45bc","datavalue":{"value":{"entity-type":"item","numeric-id":1854556,"id":"Q1854556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c19736ed30538c256cd1e78096fd7db47c4ecff","datavalue":{"value":{"amount":"+0.86007047","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":"Q5096080$1BB7F4E5-2B9A-4F24-A381-FB38E5D99DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0ce0557b25d125a03dfc1c82e8654e886b5c3e","datavalue":{"value":{"entity-type":"item","numeric-id":4857224,"id":"Q4857224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a35e8d23bbc951f9d1abd7fd144f648679df83","datavalue":{"value":{"amount":"+0.8581958","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":"Q5096080$064B59F2-78D8-46D9-A888-6DCB543F27B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa11b43419910966c8cbeb089e9c2efdf45fea5","datavalue":{"value":{"entity-type":"item","numeric-id":4263790,"id":"Q4263790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c264c4d8e2e32b197093b34e3126180e96fe4231","datavalue":{"value":{"amount":"+0.8575256","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":"Q5096080$5801E56B-FA1C-465A-867D-72296DE8413E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096080"}}}}}