{"entities":{"Q3677160":{"pageid":5707066,"ns":120,"title":"Item:Q3677160","lastrevid":50023129,"modified":"2026-01-12T16:54:17Z","type":"item","id":"Q3677160","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898221"}},"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":"Q3677160$856BF81A-E842-4C7E-97D7-B372D35930B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15914f549cc788ce5a3ce2390c36496db1fb8249","datavalue":{"value":"0563.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677160$7CAC0BC1-654D-492F-8B80-FFA0DA5B1EC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3677160$93D23283-80FA-40D9-9EFA-76AFA8D1AF08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677160$295FC74C-B8BC-4DAC-A0CA-FCA6D5921ECD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bce15ce0ff183fa4a71c1a0f24a56d15070cfb7","datavalue":{"value":"3898221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677160$79CCD6D4-250B-49B7-980E-FE6830962537","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e6a4dc82e8c552a24292d03a8a5768a3b0cbe22","datavalue":{"value":"Logical proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677160$1F6240C6-38A0-4F97-9CCB-4009EB031634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677160$FADFF5F7-DE0D-4BDE-B473-72FF966870E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d1f90f0dcf326be5850a90b7f1894eb643c0ca6","datavalue":{"value":"SCCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677160$05CA66F9-C4FC-41C5-A469-01942427FE56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677160$AE8C4981-9AD8-4DF9-A7CD-140330CB64F9","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":"Q3677160$F31E00E7-9674-4D31-A905-387EE638F7E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80c8c7a561c38895d7eae3dad2d838704c4bd4c","datavalue":{"value":{"entity-type":"item","numeric-id":3711741,"id":"Q3711741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bede4700b884fa92b22bab7cbea4ea24855dcf51","datavalue":{"value":{"amount":"+0.97476315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677160$83620CA3-EA8F-4433-850E-0D14289BDE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41044862e83a3406e6a76a6b0a84bf3513b1f1a7","datavalue":{"value":{"entity-type":"item","numeric-id":3776603,"id":"Q3776603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bede4700b884fa92b22bab7cbea4ea24855dcf51","datavalue":{"value":{"amount":"+0.97476315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677160$60910F07-6371-4A37-A15A-6A761F8495E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54aa410ae4bf209460f65bf42ff8fa5f48475674","datavalue":{"value":{"entity-type":"item","numeric-id":3707371,"id":"Q3707371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f683f25a5fad4380838fea541236f4835e505e8","datavalue":{"value":{"amount":"+0.9390696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677160$0A9FC0FE-FA0B-4623-91E7-DA5A39D92B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5e3802bd5dfe947195afba9933da926c295cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3179cfbb1d65f278a4a8d792b1c06c0f97cea48","datavalue":{"value":{"amount":"+0.9000775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677160$E86AA6AB-7516-4D93-BFDF-7BEB91CACDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a029b91876278cf14be7394fcd63a6ea694d1ca","datavalue":{"value":{"entity-type":"item","numeric-id":6099618,"id":"Q6099618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664ed06af77c5500f1926d88128e098c5d75c374","datavalue":{"value":{"amount":"+0.899932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677160$2FEFBAA3-6665-4F7C-9101-59EAD949E0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3980466f8ccd49a0a1b720b405f6b6e5bd182e4","datavalue":{"value":{"entity-type":"item","numeric-id":917327,"id":"Q917327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252e9b75409f1669d5c7c302d5ada4250112046d","datavalue":{"value":{"amount":"+0.8848839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677160$E76DA6CA-59C8-4CEB-AC77-43A8A40BDD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57f0c5e2b2847aa44294522d6304e9aa8008126","datavalue":{"value":{"entity-type":"item","numeric-id":2253184,"id":"Q2253184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e343115ff199fdb5cc4462a394d717590f38fd87","datavalue":{"value":{"amount":"+0.8812065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677160$E5570375-B457-4859-8AB9-E64028744661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d74a9841cacb8bef05016568384b8ccc0da9eee","datavalue":{"value":{"entity-type":"item","numeric-id":1970598,"id":"Q1970598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e800245a70faf66cf1e2abb17ed81be3742c223e","datavalue":{"value":{"amount":"+0.88061726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677160$36D07041-242E-4401-A9F6-F2F558DB4DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8180bb0885b882bfff46fc953d178ce8f532c1","datavalue":{"value":{"entity-type":"item","numeric-id":3382814,"id":"Q3382814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6892f29ff64c069a61801d1e532857ca6f961277","datavalue":{"value":{"amount":"+0.8782983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677160$93CF64E6-7318-4821-86D4-D2AE3FB9EA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9d1a642b79fca45fac6af097dd12ef0d2614bc","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9449d2aadb8b329119a70ba20093744115e0d062","datavalue":{"value":{"amount":"+0.87776136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3677160$B934F393-EF81-41BC-A6E7-39F776F133C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3677160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3677160"}}}}}