{"entities":{"Q4645279":{"pageid":6674860,"ns":120,"title":"Item:Q4645279","lastrevid":53315858,"modified":"2026-01-24T17:26:35Z","type":"item","id":"Q4645279","labels":{"en":{"language":"en","value":"Process specification and verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999581"}},"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":"Q4645279$BFD6208B-2836-4BBE-B247-B77479153851","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fec4d94ff7c784b478a9a457f16ca62d293d957","datavalue":{"value":{"text":"Process specification and verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645279$C632DE28-7BC7-447C-BCCD-AE8AC8B3CD68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cc9dcd9638bc1f7755e8d7dbc91bba3e0990347","datavalue":{"value":"1412.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645279$9168453D-F768-4406-944B-2C3C1D89F7AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb33afad107e91097bc14990e583170ca2cad8ce","datavalue":{"value":"10.1007/3-540-61228-9_90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645279$892A75EA-DB2D-46D0-AD52-449EBCB8CB58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b61b3e3d86420f2404999903222db49a891052c","datavalue":{"value":{"entity-type":"item","numeric-id":1276247,"id":"Q1276247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$ADBC61EB-9E70-4404-B0A5-84CD06114D18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$6CA11247-5540-493A-969F-EDDA2A2CCFB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645279$A74B8BC2-96FA-46DA-BFB9-2FB1CD056516","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645279$8674933A-EE31-40F5-94B9-1E494354AA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645279$FA6EEF67-7E1A-4BDC-A1FB-65B3CC30B9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645279$79EAE615-33C4-4B5C-9A9F-83F3AC725BF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ca74a9f6ebf3ce123762207f5f80ba3083622ff","datavalue":{"value":"6999581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645279$13D0BD1C-6543-43F8-974D-4DF1781FA2C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645279$B6BEFA09-4791-449D-B12A-CCCC0331AFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645279$E0E1914D-504C-4695-9ACF-1E5060FC73B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99b1e01954f36b2bc8e00e08ffdc2eacfdc6f6b","datavalue":{"value":"graph grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645279$4F12648F-FA40-478C-9823-10D87FCBAACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fb3c28e830ba57c22801b95ced41ad27aa74809","datavalue":{"value":"precise formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645279$4886EFD8-E812-4359-BA13-EB0682E597EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4531e1e7545bbccb03ee3cbb1f4e250595b00d8b","datavalue":{"value":"graph expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645279$A30AD6B8-811F-4E40-9EF0-91479AF95AFD","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":"Q4645279$5C86904B-51D0-4D2B-A7E1-AB4A92AD6D4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acf6b6d86dbca1fd4c1a9c84b1ec69a87c03de37","datavalue":{"value":"https://doi.org/10.1007/3-540-61228-9_90","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645279$D91F83D7-7D0F-474F-B239-18F1C979A413","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fb53aef8598c92e7a0adc5d07296758fcc0dbb1","datavalue":{"value":"W1605782337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645279$B1E91EA8-3B09-4CF1-937B-661797E76268","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be3970bbeb5763bd476ec3ae32dc6811c75f4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3782818,"id":"Q3782818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$41CE54C8-24CF-4DF8-873B-14E60EA07288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa1e4edd4f91af57d5f93152aec7797d3e53535","datavalue":{"value":{"entity-type":"item","numeric-id":1822505,"id":"Q1822505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$5D2422D2-EFE3-4BEE-9D30-D4DB0CF7751C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c8e81428ffee7a3e85a84717d3b8e76e0ddb3c","datavalue":{"value":{"entity-type":"item","numeric-id":1812942,"id":"Q1812942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$705B6FE5-5C86-4B04-9E91-D695F937902F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$48570F21-1953-4286-B821-D6FFA6561AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$06754589-7110-4A71-B90C-63F81303BBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$E201D3FD-FCB3-4556-8DBF-D445D347DAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$B08DB370-0F46-45EB-BF2B-03ECFB600AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d09ac8341f20c3c4429e655145dfc982a2df7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3745263,"id":"Q3745263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$9B999D37-771E-41FD-9B2B-782DF875DA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6572fca9bab6ee1bcf636204825e8102392c3a7a","datavalue":{"value":{"entity-type":"item","numeric-id":4023261,"id":"Q4023261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$FF47CF01-2D64-4AC6-9546-4A9C393992F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132367abd0e20dc3ad2adfc421b48b77e0e5aef","datavalue":{"value":{"entity-type":"item","numeric-id":1323361,"id":"Q1323361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645279$85AA911F-E161-49CC-B1F7-2C3F378B9D0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b33a3dfad6838628b397210b0b5e4b9166ef7ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3785915,"id":"Q3785915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a452879bc5a381a483ce7608d24980800a52e8f","datavalue":{"value":{"amount":"+0.8165205121040344","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":"Q4645279$496F77A2-133D-4E9D-9657-E1B33F62F9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d44651c9f4c8f9ce0d790835e00300653086bfa","datavalue":{"value":{"entity-type":"item","numeric-id":436370,"id":"Q436370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815a001fba5cded29c1ec99862e3385cb12f9bd1","datavalue":{"value":{"amount":"+0.7830803394317627","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":"Q4645279$B96C98B1-EF99-4082-96ED-EB11DFB62B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fc1c19f2d5da9af3d97cc2a535642d6f217387","datavalue":{"value":{"entity-type":"item","numeric-id":2847855,"id":"Q2847855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb5aec7a8367184c26696f349115153b8d94918","datavalue":{"value":{"amount":"+0.7801055908203125","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":"Q4645279$CE3726F5-023B-4321-B039-4A8E876A5326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0a32db72f307b876d8ed3f059040127f6929c2","datavalue":{"value":{"entity-type":"item","numeric-id":5179351,"id":"Q5179351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f21fba48fdeebbb84a4fe0dc22e25a553941b36","datavalue":{"value":{"amount":"+0.7744629383087158","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":"Q4645279$0B1218CC-4166-4932-9846-116467F228A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c242e7b48f739a8e2d1e57458eff6cac72598c2","datavalue":{"value":{"entity-type":"item","numeric-id":685358,"id":"Q685358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d111ea8a8f35782040a492813d5b0ac0559050","datavalue":{"value":{"amount":"+0.7658833861351013","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":"Q4645279$BE750147-1F4D-444D-9D79-9EF950C4C5AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645279"}}}}}