{"entities":{"Q3386299":{"pageid":3397002,"ns":120,"title":"Item:Q3386299","lastrevid":53905997,"modified":"2026-01-25T22:13:24Z","type":"item","id":"Q3386299","labels":{"en":{"language":"en","value":"Operating system task management requirements layer modeling and verification based on Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7295745"}},"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":"Q3386299$18D26B2C-95C7-4985-8EE1-F9281D4432C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c425ea8f9dc7808618b025308721d8aff936914f","datavalue":{"value":"1463.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386299$3D3C0BD5-7472-42B0-97E4-39DD693713B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10187760706e4e5686d36c59dd8b4fca34a0eb1c","datavalue":{"value":{"time":"+2021-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3386299$EDDECDAE-1F0B-4CFB-B8ED-944158CEA4A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386299$A1D9E07B-3444-40FC-B3A9-5B4143C11041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386299$BB914C36-E6E5-4E39-92D6-B23275F2F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386299$A1ECCB8C-1464-45F2-B5C7-D270D387E97B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f08ee288a55821c21baf0ce72710b214ee62ad27","datavalue":{"value":"7295745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386299$FFDC736A-E2E5-47A4-85D3-12A2724866E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce547694d17b9bb1f21a86feed50f76d2430d38a","datavalue":{"value":"task management","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386299$233AB3A3-EE27-489D-AE90-93564504726F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18323e0444e7c878304c60481bf4944a718efdc1","datavalue":{"value":"requirement layer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386299$3264C629-F3A6-48BC-8A5F-7C8C2300C035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925e150e74e45555ae7550f13717a6fb58116a33","datavalue":{"value":"formal modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386299$F7842BB6-8931-4370-B8FD-EF7F9C029FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386299$1214C98B-5E65-458A-97BA-1F342CF53CDA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386299$E69198A1-05EF-45F0-8647-0F17B2A1AF66","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":"Q3386299$E1F3FD21-3235-40F9-BB70-87A435B5B016","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"328134f78f21d0698f9e2ac12d9c9e4d69878665","datavalue":{"value":"10.13328/J.CNKI.JOS.005961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386299$B39A598F-F738-4329-845F-E804D811A80F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f5126bb604a2433d898f2d31c23ef8080bfb871","datavalue":{"value":{"entity-type":"item","numeric-id":903515,"id":"Q903515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96198756f55cede085e7421d8913a967598ba7f","datavalue":{"value":{"amount":"+0.6872029304504395","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":"Q3386299$97600944-05B9-40E5-89C2-0722B140E2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba83feba1be4951b2507336d05662777d195de9","datavalue":{"value":{"entity-type":"item","numeric-id":835773,"id":"Q835773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb6d353c6b6c6f40b3071e7d214216aa62ca588","datavalue":{"value":{"amount":"+0.6738275289535522","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":"Q3386299$05619C59-146A-4426-BF71-5924418A1EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d216e27e46b27d6668414a77f4aa8b41fd4c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5963639,"id":"Q5963639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06d3c1a9b82a2a950b49e2a3443122c22177228","datavalue":{"value":{"amount":"+0.669888973236084","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":"Q3386299$A56EAEA9-1466-40A1-8B10-41C3985E5D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b04f04f456cbd1205791bb7ead7f184133ba335","datavalue":{"value":{"entity-type":"item","numeric-id":4647849,"id":"Q4647849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65310730c6e8fe5c62c94f3357e51bee5d84c27","datavalue":{"value":{"amount":"+0.6690414547920227","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":"Q3386299$0C7FEB7A-99C1-4E0D-A225-22D17FF693C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a393b47c99a4523fc0f24bcfab2a914938e9f9","datavalue":{"value":{"entity-type":"item","numeric-id":2475307,"id":"Q2475307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28d6571171636edb5d1ce4c073dfd527f1a47d2","datavalue":{"value":{"amount":"+0.6637162566184998","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":"Q3386299$A47DFC1B-ACC2-46C3-96AC-EDF31AEA160C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3386299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3386299"}}}}}