{"entities":{"Q3277016":{"pageid":3287724,"ns":120,"title":"Item:Q3277016","lastrevid":86753858,"modified":"2026-06-04T09:45:37Z","type":"item","id":"Q3277016","labels":{"en":{"language":"en","value":"On an Application of Dynamic Programming to the Synthesis of Logical Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3159113"}},"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":"Q3277016$EA1B7DC9-46F0-4D77-9E76-C967EA3FA8FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6197054711dd2ef475ded961cae8f4e281b3518","datavalue":{"value":{"text":"On an Application of Dynamic Programming to the Synthesis of Logical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3277016$8729F893-A966-48AB-AB6F-56EF8ED1AE0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8c963162fe2594e71d000d7ae4c2494b0142dfe","datavalue":{"value":"0097.35501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3277016$6B5F7E7A-F8D0-45A5-9DAA-59F84E701FEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"647b6454e35f4f7bd17373b8f8d173839ebc3698","datavalue":{"value":"10.1145/320998.321002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3277016$96A61B32-1C3F-4859-AB14-0DF44C526801","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6743a0652084b647dd5a9456802d412b16349fae","datavalue":{"value":{"entity-type":"item","numeric-id":594813,"id":"Q594813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3277016$23095C6B-BD49-49FA-9139-2F6F21E61ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b16f72a286076c5dd81fdf56aa5a0f239e176dc1","datavalue":{"value":{"entity-type":"item","numeric-id":176126,"id":"Q176126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3277016$A3ADC5B4-02EE-454B-8F56-C648521D0852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52f9bd67b41d816303404cd14f44597333776a1b","datavalue":{"value":{"entity-type":"item","numeric-id":6481785,"id":"Q6481785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3277016$08764951-AD66-4B14-9C33-F08FB88F3CD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3277016$37ACCB57-C88E-494C-AB8C-8B361A2CCA58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eff49425df1fb73d895b1b592e51cf569fcdb0bf","datavalue":{"value":{"time":"+1959-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3277016$A12BDE9A-910F-42BD-9C3C-0AE82B9903C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f37e2f57746b640596393b58a9f439e935da8e59","datavalue":{"value":"3159113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3277016$830B2924-B57B-41E0-A618-FBCD6E21EF80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013a573a10a65db40cc78020f718d30d0fd6eed2","datavalue":{"value":"applications of probability theory and statistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3277016$77949A74-0226-4E05-A832-D652F8E627DD","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":"Q3277016$B2159882-0FA9-4463-B597-F80C37D8BF94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d866fcec61618ea641fbc68cd81bdba0c80dd8c","datavalue":{"value":"https://doi.org/10.1145/320998.321002","type":"string"},"datatype":"url"},"type":"statement","id":"Q3277016$BDDFCAA5-C092-4632-B8ED-B9F39DEE0EB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26cf946e1aeda25169aa51dc49284d272fc2537c","datavalue":{"value":"W2003529014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3277016$0D83763C-7319-4080-B08D-D63AB2E56781","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On an Application of Dynamic Programming to the Synthesis of Logical Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_an_Application_of_Dynamic_Programming_to_the_Synthesis_of_Logical_Systems"}}}}}