{"entities":{"Q975404":{"pageid":977252,"ns":120,"title":"Item:Q975404","lastrevid":65856282,"modified":"2026-04-12T05:50:16Z","type":"item","id":"Q975404","labels":{"en":{"language":"en","value":"A categorical study on the finiteness of specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5719156"}},"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":"Q975404$62E8BC99-F216-4C7A-903E-8873C6C24337","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d4b6d7a8ffa3ccae549f006085abc1c38772fd7","datavalue":{"value":{"text":"A categorical study on the finiteness of specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q975404$1E1441E8-7A0F-432F-96F5-C4BC9FEC6ECE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c7c3a4522903087618422b08759ad593e7593c8","datavalue":{"value":"1191.68410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975404$EBD94E96-6EAC-4FB9-9AC3-EDB988F0AC3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$18B3D57F-5356-42B4-8B40-FF4E8A9648A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$AFB565E1-0E16-4634-A08E-9CD6C9DCFB00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1ba380dcd1b40e515c615a715f3a37c52287dd3","datavalue":{"value":{"time":"+2010-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q975404$D1C24B7F-CFF6-4AAA-BAAC-EB8D4DEED733","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975404$5CB23F68-40A7-4568-A9E6-D7953C96C05A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3db4b74ef85406f26d3e877c097376862a8804f9","datavalue":{"value":"5719156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975404$7B5B4D95-333B-4528-B2F4-6CE1D9F3F5F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q975404$1AFC6590-69A8-4C6C-ACB2-A48CF5EEF516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q975404$70D1AEE4-E7BE-4122-9777-0DC8AA4F1875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q975404$3DE95A14-AF56-47F4-9CEC-8A97DDA97F07","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":"Q975404$86580683-49AA-4ACD-B1C3-525AB73E82EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"045be9871338e732cc45f848b2e912670ee01c2e","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2008.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q975404$69BA27D3-1AF4-4474-AD08-0950356260BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cbb184f42fdc42e4f0942088cec2c40b7465bca","datavalue":{"value":"W2086215341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975404$A349F4F5-C364-40D5-83EB-E7979D6B6E27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$FF2D3B47-814E-43C3-8373-E01D540F08A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$183F273D-9174-4A8B-84D5-AF3AE9987208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13135fa50c92369f5593c5c60b5fb964b14c4c04","datavalue":{"value":{"entity-type":"item","numeric-id":3474270,"id":"Q3474270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$702B6F7F-43E5-47F3-A2E9-73B67B7EE2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e5ee6c74446bb1d563024cf0c4d96e7f826eb","datavalue":{"value":{"entity-type":"item","numeric-id":4432964,"id":"Q4432964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$BFC433DF-0CA1-4B52-9533-7E7DB8916F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc12fcd2307ac93ccb70c186e452eab9a3a8ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3430948,"id":"Q3430948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$A6C1FB21-6841-42A0-BA00-DFC0013545F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$40FB225A-8E58-453D-981E-9846A9AF64F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0bb99e3e9d50031eb160f83a73f353bb15f90e","datavalue":{"value":{"entity-type":"item","numeric-id":992038,"id":"Q992038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$075DE1F8-6C46-4679-A6D9-C8CAAFA230E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf18edb37f2082a746fe6669bb13e001314c8a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3824395,"id":"Q3824395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$93694967-2733-4A7D-83EE-564BD5C92FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$22B3460E-C8B7-41D9-AD32-EDED3FAB790D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88204e57b43777e2eba215b5adbb39e192c99800","datavalue":{"value":{"entity-type":"item","numeric-id":5096264,"id":"Q5096264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$CE385671-D40F-4482-B5DE-0743A5E2F8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$BF18952E-E52B-468C-BBF5-BB79298A8F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$A26CEE93-04D1-41C0-BDB5-943D89C7852D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$CA9A62A5-4C8B-45F8-85D9-C6939630BD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e76c3561d4ad59b1eadb95f4ad79b1c13c964cb","datavalue":{"value":{"entity-type":"item","numeric-id":5311059,"id":"Q5311059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$378855CF-357D-4EFB-9E14-9BAFAF95F5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$85D35E1B-3E00-4FC8-9C22-C3503C6790EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0bd80e70dd130246f24fb3da749234f7501d6a","datavalue":{"value":{"entity-type":"item","numeric-id":1183597,"id":"Q1183597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$08AC54F7-8F2C-4530-BE0E-85591136BDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e183e8e7145c43c41f5ae4889b564985595ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1866032,"id":"Q1866032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975404$CEB53972-6797-4219-90EB-7E365DCB1077","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d92b8e1cbbf00a4d20efef3af2891f7c783d4f8","datavalue":{"value":"10.1016/J.IPL.2008.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975404$6425CD91-4D4B-4349-BD53-4D0D7FFDC825","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7410565636cbbb8262cf42a680ecae36c3a9661c","datavalue":{"value":{"entity-type":"item","numeric-id":903494,"id":"Q903494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a421333ee4001951ad649b3773e97249ba3b78","datavalue":{"value":{"amount":"+0.7410244345664978","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":"Q975404$B52BCB1F-7480-45BF-87A5-618F4F8C89F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6f7eff70ce6474f6e3fd7ac19c92822945eb84","datavalue":{"value":{"entity-type":"item","numeric-id":817965,"id":"Q817965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7093e7c65da21972bab15c15c688e3888f7249","datavalue":{"value":{"amount":"+0.7270951271057129","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":"Q975404$73AD8612-F295-4084-826A-7049F6DA496A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d780e0003d89987bc138abea3f69d0b52710f9f","datavalue":{"value":{"entity-type":"item","numeric-id":4702594,"id":"Q4702594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20ee64e2780921144453f3907f9a221fa928722","datavalue":{"value":{"amount":"+0.7269657254219055","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":"Q975404$4656AB5E-2305-468B-8C58-6A9B41DD1283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da86a511fc447f64f025f1c930619b522161f355","datavalue":{"value":{"entity-type":"item","numeric-id":3824395,"id":"Q3824395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc150869d7caaa42e9b44ab1bd20f0595750bf99","datavalue":{"value":{"amount":"+0.7119284868240356","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":"Q975404$A6705920-2EFA-44BB-8094-44B4AC14239E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81bf7a4bb1f94e8ef7a7d1c118b7dd9565d8345","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7336491fbea4b76ec537b1c604a6dda9dca2f1c","datavalue":{"value":{"amount":"+0.7107895016670227","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":"Q975404$006FD42E-3110-4E63-98D4-C4A5816918CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A categorical study on the finiteness of specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_categorical_study_on_the_finiteness_of_specifications"}}}}}