{"entities":{"Q6495487":{"pageid":14074260,"ns":120,"title":"Item:Q6495487","lastrevid":38016305,"modified":"2024-12-03T12:36:36Z","type":"item","id":"Q6495487","labels":{"en":{"language":"en","value":"On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7841148"}},"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":"Q6495487$77123447-7A8C-4793-A0D9-487E7D2E47B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67c373eba15c98535026c2f759b0726e1e351168","datavalue":{"value":{"text":"On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6495487$3E68CC34-2236-416A-879E-33305522BCA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70b1bdac7473b3cb432d3d9201af334572863c8c","datavalue":{"value":"10.18255/1818-1015-2024-1-54-77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6495487$81C86560-DF65-441C-A71A-898439605B14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77723f0614ada42986640ffbf9c623c923855fb6","datavalue":{"value":{"entity-type":"item","numeric-id":6495484,"id":"Q6495484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$437B34CA-80AD-4A8D-B867-FBB66BC34BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6ccc8186979476107a651523976851efcdad079","datavalue":{"value":{"entity-type":"item","numeric-id":6495485,"id":"Q6495485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$734ED790-5E59-4F31-AAF8-02222CB17756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b42fe2c912974b5fb983294a171675b9ef81e223","datavalue":{"value":{"entity-type":"item","numeric-id":329087,"id":"Q329087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$4FB96D65-0D26-408C-B097-CEC960E045CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"97231e8a04a9db8bb612eb824d9ff812b9ce6991","datavalue":{"value":{"entity-type":"item","numeric-id":6495486,"id":"Q6495486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$D7911BC9-3FB2-4FC2-B35F-EDE106004AAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"968e441704abf90cd822c770d90ae9adbdc2d83f","datavalue":{"value":{"time":"+2024-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6495487$8A82B761-6949-4C3F-A7B5-647CAF0FF4A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6495487$6C6A70D1-FA59-44D4-B458-21D72FA8EB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6495487$6354BCF9-9E93-4E81-8F43-226CB6CDD633","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8b0d11fd7a5410f5c68ef206543756706b59388","datavalue":{"value":"7841148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6495487$100E8062-05B7-484E-83F3-C50F56038C48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1ab256b1459ae46faef7face9798a35c7f69a9","datavalue":{"value":"positively constructed formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q6495487$353C9AF3-8A29-4B29-8E43-24A6A70B953F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6495487$32EFDE33-2ED2-4332-89EB-3E20A92DCF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39411cc62ce78ebd41da7eb9d170a39ae6dbba3","datavalue":{"value":"prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q6495487$6ABC14DA-B157-46EF-8854-AB1F1EEEFC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd59b8d9f40734ce5500c0914b2d395cf8fa16fc","datavalue":{"value":"discrete event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6495487$C661E746-EC9B-47CB-A0EB-8B1525FCCAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6495487$6AFFC835-BBF2-4763-B089-74C2B30308FA","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":"Q6495487$F621C536-9872-466A-AE51-F6885D75F21E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f01eb093d0192e1d6bd2faee670d315e35c4fc","datavalue":{"value":{"entity-type":"item","numeric-id":441162,"id":"Q441162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$FA8DE190-F178-4E9F-8886-F452ACF49DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843909c896242e08c352f951d421042470826f15","datavalue":{"value":{"entity-type":"item","numeric-id":1793986,"id":"Q1793986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$DCD3BA47-C56C-423C-A98E-CC4E11C2AFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$9A8BCB52-41ED-48C8-8C76-81D9F0E361F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4826426b2742c844383fb1b87bc94f99ded80a4","datavalue":{"value":{"entity-type":"item","numeric-id":4990023,"id":"Q4990023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$35305372-FDF9-4B50-99CF-54C7C18FFBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$738C3117-E9D8-4BC5-BCA5-AB2C4F6A6FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$5427FCA7-F5AB-4C57-80A6-C42C7F13D44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b56fced2450d35cc50ae17f27d43d5c6f257057","datavalue":{"value":{"entity-type":"item","numeric-id":2280212,"id":"Q2280212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$D47F6697-C624-48A8-9D03-462BF8B9C7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e972bb47a985d80ae9fe96487e4f09fc15e106","datavalue":{"value":{"entity-type":"item","numeric-id":5049033,"id":"Q5049033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$67A031A2-1180-4359-882B-95D2C292FCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c6efd3666a930760ad447108a2e436ac8490e5","datavalue":{"value":{"entity-type":"item","numeric-id":3485887,"id":"Q3485887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$08A96AC9-07CB-4194-ACE9-FDD807615526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197f3fa093252b00ee1192413576e8995d4a587c","datavalue":{"value":{"entity-type":"item","numeric-id":742012,"id":"Q742012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$15D2590D-8F5D-49BE-8539-6DA00F638537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063dde392d9d5befffa305e009af296464544978","datavalue":{"value":{"entity-type":"item","numeric-id":2404302,"id":"Q2404302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$BEA48962-D625-410E-9057-0A04563DD464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64754a43079e17f8b094ecaff000e8d9896b5582","datavalue":{"value":{"entity-type":"item","numeric-id":2128091,"id":"Q2128091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$F4D8A70C-B3C9-4A4A-A04C-E16DCA42E929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d8d7c730a57c218c77a766294572f0dc6d5126","datavalue":{"value":{"entity-type":"item","numeric-id":2177778,"id":"Q2177778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$773B3C12-63D7-493C-8C4D-AC6C58BF62CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54094cff1080fe555cb648f965d875615302a1f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$ED91B899-1BD2-4642-8051-DFFDDD5E9C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df04f0ebaaa6e15e24baaec71e68c1389120fc22","datavalue":{"value":{"entity-type":"item","numeric-id":5033817,"id":"Q5033817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$88DE24D7-12C5-46C6-B57E-5D24555F1D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d051fc12e0f3efeb944a516fc3279133a1de872","datavalue":{"value":{"entity-type":"item","numeric-id":3427490,"id":"Q3427490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$99022896-CD65-49FF-9A0C-0959FE376CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0af57c896367d99c520c3145f4b337737e3e8bd","datavalue":{"value":{"entity-type":"item","numeric-id":6080679,"id":"Q6080679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$98E4C89B-32AC-4FC9-A163-D44896F4D4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f28b39adf7f2eb48c9703cb2be9f216a2ef0298","datavalue":{"value":{"entity-type":"item","numeric-id":2983297,"id":"Q2983297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$D0BB0207-1172-400A-BDB9-FDBBB80983B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee900a14eb345f1ec6416bc370340cd0e2c18c0","datavalue":{"value":{"entity-type":"item","numeric-id":5565097,"id":"Q5565097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6495487$3AB5E014-386F-4287-807B-C3FB81572E79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6495487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6495487"}}}}}