{"entities":{"Q3588081":{"pageid":5617985,"ns":120,"title":"Item:Q3588081","lastrevid":90338468,"modified":"2026-06-04T19:55:10Z","type":"item","id":"Q3588081","labels":{"en":{"language":"en","value":"Safraless Procedures for Timed Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5783569"}},"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":"Q3588081$E80CF069-E070-49C3-A0BA-BDFDD3803CD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a9769ad2220327b9976a0a4dc7453a73ebaed80","datavalue":{"value":{"text":"Safraless Procedures for Timed Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3588081$DD42B575-F5E1-4D0B-9F13-1B9DD22B0CD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6914c8a32281e1ecf426d8732693e5ee550d296c","datavalue":{"value":"1290.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588081$C992B480-A914-45DA-BF45-E7A5BDDE1669","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9beecd04487f34f25fc0ebf4d66aa93607a06e80","datavalue":{"value":"10.1007/978-3-642-15297-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588081$EC938B89-AC8E-424B-99AF-C1B745645135","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05a2554b82df3158863dd35fcec017cb07179d81","datavalue":{"value":{"entity-type":"item","numeric-id":483302,"id":"Q483302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588081$46AF3F64-CD15-432E-9ACA-90416613FFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c3f9f38aefd8497e435cf677955510a3778959","datavalue":{"value":{"entity-type":"item","numeric-id":487252,"id":"Q487252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588081$28DFD4C3-4B23-43C7-B5A1-074DB96E87C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e44eb185b6f1ec36cedc6917cf0a1983459852","datavalue":{"value":{"entity-type":"item","numeric-id":458385,"id":"Q458385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588081$209F8C12-FC63-48A9-B56C-B57BC4C7E5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588081$19FE3591-9560-4AC6-85CD-83034CFD95DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588081$46A5D12B-28D1-4A31-83ED-C8F24FC66FBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2857b5bc1b1598776d7a167b6234f21df24153b","datavalue":{"value":{"time":"+2010-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3588081$D0D9A2C9-300F-4529-9367-FA254D11BAE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588081$7A24843E-3EF1-4CF6-A5A4-DDE31FCA5BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588081$7BA71ADF-6C45-4331-9DAB-444926BFBF20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0a10e978b123ee698ccd72aee8dce69d9a26c4d","datavalue":{"value":"5783569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588081$86000717-52BC-430D-8DDC-58052690D4FA","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":"Q3588081$7834B432-61FE-4DC9-B90B-C6CE72007593","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18fee44c0528fdfad82cf56511f6b44cd6831857","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15297-9_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3588081$716ED600-D140-4941-8EB2-B64D82A13648","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8e1c235da4e4ff50c05ffbdca0c9edf20059ea9","datavalue":{"value":"W1529977153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588081$EF79DEF5-789D-4269-9D0E-10B7EB2AAA53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safraless Procedures for Timed Specifications","badges":[]}}}}}