{"entities":{"Q5223778":{"pageid":7253347,"ns":120,"title":"Item:Q5223778","lastrevid":37300736,"modified":"2024-07-30T09:33:37Z","type":"item","id":"Q5223778","labels":{"en":{"language":"en","value":"Compositional Synthesis of Finite-State Abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7082491"}},"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":"Q5223778$15A46FA9-371C-43FE-A68D-79BB46C066FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7e2ea6c0d662ec85a726f29aad9e91fd60b447d","datavalue":{"value":{"text":"Compositional Synthesis of Finite-State Abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5223778$71599C31-A92B-4DC6-8079-54C25BAFB43C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89455b2aeca1f934a6293ac84531e3ed8e92c9d3","datavalue":{"value":"1482.93263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223778$36035BBB-A9E5-47E1-9691-D0DC7D9B011B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79a7161fd31fe34c040e0194cc808092d97f3e43","datavalue":{"value":"10.1109/TAC.2018.2869740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223778$BBE01258-AE17-42DD-BC51-EDEDF5B4ED52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"700c27e1aef9c2b7cb0106c2c4c93dc9c7393211","datavalue":{"value":{"entity-type":"item","numeric-id":3297582,"id":"Q3297582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223778$0F96F74F-573D-426B-8158-B6269D3DF86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556d50c1b83e8f28bc968c0bdf2bc4419b8ca47a","datavalue":{"value":{"entity-type":"item","numeric-id":262423,"id":"Q262423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223778$8311C12E-5274-4C4A-BDE3-14E40B06719A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66ab7a9759e1b34b547acdc6abd2881220f0b927","datavalue":{"value":{"entity-type":"item","numeric-id":2061249,"id":"Q2061249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223778$DB8F68A4-3AC5-47D2-8FFE-8BFF17A3989D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223778$5DB2535F-F56B-4BE4-8EA8-EE72731A1028","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223778$AACB324A-8266-44E2-95AF-E673F58C548A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ffdc9ffce048cac45801362823035df6483c760","datavalue":{"value":{"time":"+2019-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5223778$FBE97D00-9E29-434B-BACE-E16A9F10C79E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223778$5F7F6BA8-F6EE-4500-9EDC-CBCD1B9C2540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223778$509A2C49-3400-4F4A-BFCB-633915851DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223778$63DDA78F-8FD4-4096-9B79-371F1A0F95A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223778$BDC0F15F-4E99-4DE0-B97E-C80F92462ADA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd4878e9267a3ea97f777e86fa37cb24800de7b9","datavalue":{"value":"7082491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223778$2936AC84-1399-4DFF-A848-797E1E236FAB","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":"Q5223778$92FD63AF-311A-4782-ADEF-237E086479D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f78013bd462fac7d6edd54cd86c4d131ca737662","datavalue":{"value":"https://doi.org/10.1109/tac.2018.2869740","type":"string"},"datatype":"url"},"type":"statement","id":"Q5223778$132953D6-F9C2-4B52-9618-2D2513ECE80C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53092deed5b2071bc4ab76d38dc2ed9cdd3c3c03","datavalue":{"value":"W2561773129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223778$FF4D6BF7-BC2C-49F6-A366-88472CFE58A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5223778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5223778"}}}}}