{"entities":{"Q3522903":{"pageid":5552807,"ns":120,"title":"Item:Q3522903","lastrevid":50446001,"modified":"2026-01-14T01:59:40Z","type":"item","id":"Q3522903","labels":{"en":{"language":"en","value":"On the Construction of Fine Automata for Safety Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321056"}},"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":"Q3522903$0F2B5242-E185-46A0-98F7-97F873CB032F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe17b424af8445a120daf3ba5848066052cab850","datavalue":{"value":{"text":"On the Construction of Fine Automata for Safety Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522903$8EDA4EE9-C59B-4AAA-82B0-92CBF8F94CC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec53925481c2346872526927b9c28bd8f844fc83","datavalue":{"value":"1161.68572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522903$300607DA-7E09-4880-BE9D-F62FBCABAE17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd5c0871d5ed71e3a5471fa91ed185daed51ea63","datavalue":{"value":"10.1007/11901914_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522903$92E4B3B8-8452-49D4-B288-3F6EFAC17920","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522903$60E5EF60-C776-4CF8-89C3-0A01FAAF7EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd06e3fcd8ba5f8471297e1153654b50e43acb4c","datavalue":{"value":{"entity-type":"item","numeric-id":385025,"id":"Q385025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522903$CD9C562F-C810-45DF-BEE7-1B1B748AB067","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":"Q3522903$2E4B76F2-BC35-45DE-9EF9-952896D10E56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522903$00D554EB-E279-4640-868F-58022C2380C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522903$6ACC4FE8-AB4B-4A68-A773-E9ACA8010805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522903$7B102196-4CC5-4464-ABE7-0E4920A044FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522903$40BC927A-7BE4-4C50-A9C0-CEF0FE1F783E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522903$8DE2EBCE-9960-42A8-9A3F-65ECD4E35E6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6891c3bbb7f9bcb0a53c59836209bae66cb41a8a","datavalue":{"value":"5321056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522903$A49C8DAE-7234-4509-9059-731C04D91D64","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":"Q3522903$9AB828A0-F141-428D-BA20-AAB3172F2E85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"148ac4cc9e5eb41ace97ae7e1b5c9b1f9dc16737","datavalue":{"value":"https://doi.org/10.1007/11901914_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522903$45EE48A6-1429-4C24-826E-235706A9B18D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6e314b6d3153c59ef7128cde1b7892ecb1e7407","datavalue":{"value":"W1561253123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522903$D5CC6666-E44D-42A7-84B5-0F2512EAC9EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0eb611003393c1dc0205556b91d6c0ac6c96c45","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7bc10f72e7db8131346fcee91144b811f52e8ea","datavalue":{"value":{"amount":"+0.8180370330810547","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":"Q3522903$D5D0FCC3-3BA1-4F68-9CED-217806509AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b0f68188bcd501061d0fa1ab7c48e11db3eddc","datavalue":{"value":{"entity-type":"item","numeric-id":4426372,"id":"Q4426372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7f3f7ad04a55a78de1e6022d504e13dae06896","datavalue":{"value":{"amount":"+0.8160305023193359","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":"Q3522903$7E4263AB-7BE3-4656-A817-CCA627203456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88759a13cb4d23b8ba7dd2545173bdb2c8d36186","datavalue":{"value":{"entity-type":"item","numeric-id":5898456,"id":"Q5898456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7f3f7ad04a55a78de1e6022d504e13dae06896","datavalue":{"value":{"amount":"+0.8160305023193359","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":"Q3522903$FBC9283B-295F-4887-8AA8-DC0450319C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0e61f424e98c0fa4b18ca991a4993a14787a86","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0445797b7b4ce887330c14d12260f2f07f969a1d","datavalue":{"value":{"amount":"+0.8046424984931946","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":"Q3522903$D08A6370-CAA8-4540-AD63-33D2D2D7F8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6c27cbccdec975112b570eb0ab2980856b6036","datavalue":{"value":{"entity-type":"item","numeric-id":3460555,"id":"Q3460555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0519cf54abaaa1387e78233226ab2fa024bd431a","datavalue":{"value":{"amount":"+0.7814832329750061","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":"Q3522903$BA10CCA1-1EB4-455A-AEDB-534EB9CF325C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522903"}}}}}