{"entities":{"Q6090987":{"pageid":13225294,"ns":120,"title":"Item:Q6090987","lastrevid":58672659,"modified":"2026-04-06T06:45:37Z","type":"item","id":"Q6090987","labels":{"en":{"language":"en","value":"Testing membership for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7768654"}},"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":"Q6090987$56AD9266-391B-4059-9EAE-D001983EC39E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faa92d8190570b0230e85e83319ddfa225033118","datavalue":{"value":{"text":"Testing membership for timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6090987$5D200D65-8D29-4DDC-B07C-45F230B0717E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"764dc920edb8b321640d6d8191b1ec243d6b4c52","datavalue":{"value":{"entity-type":"item","numeric-id":2478550,"id":"Q2478550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$793F6E11-4419-4318-93F5-97317F445BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e38f44f92389eaa1d1b2869bbb5096286d7e4cb7","datavalue":{"value":{"entity-type":"item","numeric-id":264561,"id":"Q264561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$1F261F4D-3F24-4583-B26A-9E68C04D3EA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$CD4F7830-D16B-4EEF-BCE1-40B7FF05DBB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8af93f984a4a37d58c6f4dedd45b0ad498f90539","datavalue":{"value":{"time":"+2023-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6090987$D5A450C8-9D2C-4130-844C-71A6047E705D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04e67c00e4c85895a254729df81dbe6429a637c9","datavalue":{"value":"https://arxiv.org/abs/1912.08277","type":"string"},"datatype":"url"},"type":"statement","id":"Q6090987$B31FF07B-94C9-43C7-ADCF-9C5EE5A3F538","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6090987$7D874223-AB99-4CD2-B369-100BF5B2C0D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"670be033e41188373672998dfa8fdf6e5b10fb58","datavalue":{"value":"7768654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6090987$E4493D4F-F9EE-46C0-871D-DCFAEE631CBD","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":"Q6090987$FBE5882D-89BA-4AE6-958F-9055F55B5D25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05d5134e9e2b919d641f17b274a09cdc5d8c022d","datavalue":{"value":"W2994801311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6090987$8ABFCF7C-7E80-4D18-9549-D03E5834E17A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff620e6e4970cc65e32fcd83840e8a986e9cf7d","datavalue":{"value":{"entity-type":"item","numeric-id":2706138,"id":"Q2706138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$5D9EB338-DCAF-463D-9116-EE4882A87309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$2093C9F6-572D-4807-A7A2-AAA4D1BBC235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$7CBDA427-782E-4AAD-934D-43847E40E695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f3a5a6ef5b4dad2d6e7e841bea784191d0a73c","datavalue":{"value":{"entity-type":"item","numeric-id":3841041,"id":"Q3841041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$CB5C1E1C-6238-44C0-8574-CEFD618FA0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85f018b253a5eb3da41d66bf1e517a63c343d03","datavalue":{"value":{"entity-type":"item","numeric-id":2343131,"id":"Q2343131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$3171EC0A-5393-4D20-8F0A-DA413FDB0D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d18a5955c3b9197c5b417b75805bf6b1a8d043","datavalue":{"value":{"entity-type":"item","numeric-id":1631230,"id":"Q1631230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$73D28DE6-057B-4A39-9974-CBB2EDFFCD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c36aeadcd6c00a43e7c10ff17ccee1d6c442d2","datavalue":{"value":{"entity-type":"item","numeric-id":4369864,"id":"Q4369864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$6E0320E2-CED1-44F9-8616-94B0868F5318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6609aec37d3d301d34b253dc3f2a45a96b88e1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1317490,"id":"Q1317490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$A51DA141-B4F6-4952-81D9-52E6151D3CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f073a102f73a768ec97f96a5b036fb05adda19","datavalue":{"value":{"entity-type":"item","numeric-id":3167005,"id":"Q3167005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$659343C1-749B-40D3-96F8-66E49C75DA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee2de722ee44d95d8edf8bad51172f06dcbd6de","datavalue":{"value":{"entity-type":"item","numeric-id":2986983,"id":"Q2986983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$C6DC717C-10FF-432C-BBF9-A4C97CC6A4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4272f5488c3bda1ae9ece666bec011d1e592b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1028728,"id":"Q1028728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$723D1D5A-BF20-447E-94EF-8584CE61F188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86503917850c215f196cbf0e9900737c7e785270","datavalue":{"value":{"entity-type":"item","numeric-id":3068633,"id":"Q3068633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$4EE3E58D-C5ED-4437-8A6D-A4A6C673EB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc39092484c42c2661962bc3a074cbc74d5b534e","datavalue":{"value":{"entity-type":"item","numeric-id":3158518,"id":"Q3158518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$08CF7A57-84FC-4A03-AC86-345E6E974EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85065d4aec42fefe8de60c39fd7bfd79c413cf4d","datavalue":{"value":{"entity-type":"item","numeric-id":4953389,"id":"Q4953389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$94780EB1-9E94-4C2C-9F1A-07FDAF169BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc04daa7b43fb7870e151ebf6569e7b45ab41b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2461542,"id":"Q2461542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$6E4B1785-BE9A-4E4D-9748-703F657019D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09de6768314884feb4784aea02a1fbddb689c10e","datavalue":{"value":{"entity-type":"item","numeric-id":5696947,"id":"Q5696947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$94F680A3-4EF5-459B-8115-832E2D4EEF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$BC055863-9384-4CE4-ACDC-1F3405BB721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f309ceda465abd1c7ff47918fafc1312a3f4da16","datavalue":{"value":{"entity-type":"item","numeric-id":1975199,"id":"Q1975199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$57306798-04CA-4CD0-B578-4D02395F9C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af9c400472b33809e98a7c72843fa27c42a11de","datavalue":{"value":{"entity-type":"item","numeric-id":4877517,"id":"Q4877517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$D6E2870D-297A-4952-80FA-4EBBFFBF6B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ce6e2dce453173a6d2c2b0b16444bd88bf6e5d","datavalue":{"value":{"entity-type":"item","numeric-id":908712,"id":"Q908712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$F41DCFBA-3F55-4268-A42F-1A0BE2E08AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5327ca9a957552db3afc096a5843ad598b71c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3675518,"id":"Q3675518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$EA6A2D2F-0791-4521-A8DD-538DB644B6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6f12679e730f186e807cbb39398fa0f8075753","datavalue":{"value":{"entity-type":"item","numeric-id":4404425,"id":"Q4404425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6090987$F4EB860B-0386-4280-827F-A45129C5CE5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b634bf26679f18a2103e09e63eb2840cbf4239a","datavalue":{"value":"10.1007/S00236-023-00442-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6090987$AF7AB16F-CDCB-44C5-84BD-CBAE912EED55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60ed81f9c6fc7742726b821cd7636ec9c52a30d","datavalue":{"value":{"entity-type":"item","numeric-id":2176705,"id":"Q2176705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d974463796908dfbf8ec6dda11caa27954d20d","datavalue":{"value":{"amount":"+0.7650068998336792","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":"Q6090987$E9A29D79-C6B6-4DD3-8D31-FDB23A0C3EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b22183cc45858ab511f35671ecf6e5afdf4306","datavalue":{"value":{"amount":"+0.7424910068511963","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":"Q6090987$89C85802-F6DC-4881-9AD9-91FC47B02F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c54d9f2f020a900124e06b50c1f46f067f417201","datavalue":{"value":{"entity-type":"item","numeric-id":2986983,"id":"Q2986983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade37d67125e56a65fc0b21a8489b0c331d5331a","datavalue":{"value":{"amount":"+0.7367329597473145","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":"Q6090987$6E22EB3C-F4C5-4D00-8F95-E07858DF3A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee485697e417d21a3b22960c92db0adb6d2d618","datavalue":{"value":{"entity-type":"item","numeric-id":2093569,"id":"Q2093569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1485ba181207daef1ba85fb4dc2aa9cd8de28b29","datavalue":{"value":{"amount":"+0.7277641296386719","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":"Q6090987$CF4766CD-75BA-487F-96DE-00030E734B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cedc2eef21adab51d47a243e5cb5167bbf7b98b","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5349e46be9471ff38cb7f09e7b83329f11d4ac19","datavalue":{"value":{"amount":"+0.726387083530426","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":"Q6090987$5B55EDAB-259A-4DF2-A30D-CF9D8B0BA99D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6090987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6090987"}}}}}