{"entities":{"Q6630198":{"pageid":14241350,"ns":120,"title":"Item:Q6630198","lastrevid":100007894,"modified":"2026-06-05T21:12:26Z","type":"item","id":"Q6630198","labels":{"en":{"language":"en","value":"A complete fragment of LTL(EB)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7936405"}},"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":"Q6630198$DB3591EA-9568-4B5B-A641-5AB0BE781676","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27fd541b5d20686be9ad279b967d1fe270db6ef0","datavalue":{"value":{"text":"A complete fragment of LTL(EB)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6630198$1D1A6072-D0E2-431A-8A40-6D8A7773052D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7ea24b3057ff1759b335099597f629db5c92f65","datavalue":{"value":"10.1007/978-3-031-56940-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630198$E5933A90-80EB-4329-8F15-CD73BBE7FA72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226ec6a2e0bf98d20b25e1e8bd5791eb63a56d88","datavalue":{"value":{"entity-type":"item","numeric-id":313978,"id":"Q313978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$87879683-8E9F-416F-85E6-CACA1D3E64BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b04326a978c054813a6af5063ced2ad76aef5236","datavalue":{"value":{"entity-type":"item","numeric-id":2165496,"id":"Q2165496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$BD1691E5-5B85-46A7-B185-B085449B7A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$99FD330A-7393-42D1-8939-6BF1E17A77AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e832cb4c1609fb8d331707786b4af1bfd793beb6","datavalue":{"value":{"entity-type":"item","numeric-id":2115897,"id":"Q2115897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$4575DA92-CB21-4DB9-8925-0879C891768D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85d5e54b3c013ef717f1252d0c179f58721b0467","datavalue":{"value":{"entity-type":"item","numeric-id":1806124,"id":"Q1806124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$DEDA1963-2B88-466D-A5B7-CB809CCDE6EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fbcb7acea0df8945200a3d2551e2bc51375e32","datavalue":{"value":{"time":"+2024-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6630198$FF843923-C81E-473B-8C3A-D2DE2EA76898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630198$AFFE7A3E-3C40-44F1-8DD7-72059E014329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630198$4A085A28-9C4E-421D-9DA4-781210722478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630198$C45AE913-3977-42DA-AE42-406EC66A16ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0d063f326071f1b5aac5a59a45f376df40b14d6","datavalue":{"value":"7936405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630198$5BB3F599-280B-45B4-9006-D3B68102EB1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630198$5246791D-1FB9-4E7D-B32E-39CD2405F930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630198$C8705193-0CB3-44C3-BCE3-7A15E5E7B57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630198$ACC6A900-6C90-4E97-941D-8FD2A2B86FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630198$BD210BDD-67E8-4FDA-B077-490D2B2C72C1","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":"Q6630198$9A25993B-6CC6-4D54-9C03-074215667169","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$B2816EE9-079C-4C1A-8FD4-6D565AFADED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$A1915689-D443-4ECB-B73A-3FE180E03526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadd920105fd2dc8c3c88d08d58848760b22122","datavalue":{"value":{"entity-type":"item","numeric-id":1125059,"id":"Q1125059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$BD33CFF5-0DAD-421B-B5ED-8C565B1DF6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$FDF006D1-8810-466E-B051-A57367625F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e44ff29e928f19b892ec1c13836498e6c5624c","datavalue":{"value":{"entity-type":"item","numeric-id":3512441,"id":"Q3512441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$E93F52EA-58E9-4C16-B30D-DE05F46C740C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60837ee6c70a0b91b37b9870ceba361b15dd4d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$A6566570-3C6D-49DE-A9FD-037AC264A196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$2ED68847-C5B6-431F-B45D-A1396FB189B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6245a6f9978f36104aee1883c6017c17dc7a8be","datavalue":{"value":{"entity-type":"item","numeric-id":4680191,"id":"Q4680191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630198$F7D0F6AA-8A98-4EB1-A4E8-57454B65429E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete fragment of LTL(EB)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_fragment_of_LTL(EB)"}}}}}