{"entities":{"Q5236441":{"pageid":7266009,"ns":120,"title":"Item:Q5236441","lastrevid":53556590,"modified":"2026-01-25T06:58:13Z","type":"item","id":"Q5236441","labels":{"en":{"language":"en","value":"Modules and specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114576"}},"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":"Q5236441$89A8F5A9-9DAE-4EA2-A1EE-D291ABEF67A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f5db82e04c016e34aea3e094a5c00e49f0b4c38","datavalue":{"value":{"text":"Modules and specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5236441$CC9A5B02-AC4A-46CD-8787-94D33DB61300","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7df3220d8797d6d8f47f1f57c41d69623cebf4c","datavalue":{"value":"1427.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236441$EEE59A35-05F3-42FF-BF4D-86F405F521FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0be496db00469f05c240e687c1d3651aa08d2951","datavalue":{"value":"10.1007/3-540-61630-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236441$D1F6428C-288C-4F86-B1AA-C249CCD8FE0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f3aefb9de6a60c8f9da69daf6b3fdb24acc3d2","datavalue":{"value":{"entity-type":"item","numeric-id":5236440,"id":"Q5236440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236441$14FF4EE6-D40D-4640-AD77-6F8EF58872D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"355fa2304b59f2df130700a6c93add4876a1709d","datavalue":{"value":{"entity-type":"item","numeric-id":1127516,"id":"Q1127516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236441$AD608D5C-72AF-4E7B-884B-44037605BADC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236441$DCB3A976-4D04-4C42-81E5-8AAD26E9CF17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc07bda6ecc2d918e20f9b6c43dfffbc17943f9d","datavalue":{"value":{"time":"+2019-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5236441$C4C7156F-6A0E-4781-9E29-8C0DFD4C1853","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236441$899320F3-C01E-40B3-A679-693DC7D10C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236441$FD35AE4D-FFB9-427E-8853-3502E5F77756","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33bb2f07ffc12a92bb9710e858f38aaf87e20ef8","datavalue":{"value":"7114576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236441$8F61F5D4-7464-41E9-9119-7B72C4F00F7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236441$1D415096-B84E-43EB-A491-7D7BD6FCCB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb98f7db1820153f6b7d89d5acbc15872daab2fe","datavalue":{"value":"free variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236441$F197D72B-FD05-4F9B-8181-1B98B00C2526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5f0a28de693e8b2b8d3680d78ebfe7bc738773","datavalue":{"value":"predicate symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236441$C2719547-91EE-4A9B-99B0-036956B1414A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236441$34600B07-2D34-45CD-B8F9-B0499A8B47D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0213b48e373f0f895e54a16323e67f641558338c","datavalue":{"value":"proof tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236441$9A85FE0F-2E38-45CA-BC4F-571D79DAD2E4","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":"Q5236441$E501E5C9-EB98-42D5-8614-72E8A691E556","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb402d47693227873fb3fe434a807cf2452ad79d","datavalue":{"value":"https://doi.org/10.1007/3-540-61630-6_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5236441$BFAAB13C-1A81-4976-AF91-944958E6B88F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8ddddf8e3d1fc408ec07a14bdf868b9a8a74d7f","datavalue":{"value":"W1508856083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236441$7DCC3659-16D5-4550-8B3F-04B9BB90131A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f51c0585ab4805154a58a0093e2340781c5b75d","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236441$1D958885-B6B7-47F4-9B88-65B68E6D4AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c6431267c37f0191f54aa4226a4ffe6e2b1db","datavalue":{"value":{"entity-type":"item","numeric-id":1346766,"id":"Q1346766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236441$B6F0D88E-D71A-468C-A547-7C7DCCAEAA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9513c154891a7800ea46a331f726d49b960a5a","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236441$A70FFE43-9902-497B-9280-8D87471B43CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db4b7623e484d401f72696443649dd0b4416f58","datavalue":{"value":{"entity-type":"item","numeric-id":4875865,"id":"Q4875865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236441$C15C58B7-ADDA-4E18-8D66-19C06085BC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4fa4292d3e7cd41676b00b24428c34cfc910c","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236441$7241E70F-37A8-4804-8E15-5A5355CA5394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1d06b20eaf0dbef3fea345937b8e325aa3daff","datavalue":{"value":{"entity-type":"item","numeric-id":4858577,"id":"Q4858577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236441$D7C294E1-3170-4689-AD9F-242795750D22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ed9ef38619504fc72a0bdb64ce00eb6bea3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b3d7902a403b0f188aa9426ce069bb7ea28bce","datavalue":{"value":{"amount":"+0.8082959055900574","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":"Q5236441$1B06B276-01AE-4889-8B84-7B198668AA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b51a2806a7cbd2cbd2264fec96f7317cb0b9477","datavalue":{"value":{"amount":"+0.8064185976982117","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":"Q5236441$EE9CA8B0-AA8E-42F5-8864-FB11640CB94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a85d5eaa5026aae2b79cbf852b48788095678a","datavalue":{"value":{"entity-type":"item","numeric-id":4028366,"id":"Q4028366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bdb6fe3188ce701291c1dfc92871c07b6dea103","datavalue":{"value":{"amount":"+0.8061212301254272","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":"Q5236441$E237788D-D190-43E7-AFC4-759652CB15C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dc3de2200f279f7b3e8d96bb9ae73d0ded0cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4275260,"id":"Q4275260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bdb6fe3188ce701291c1dfc92871c07b6dea103","datavalue":{"value":{"amount":"+0.8061212301254272","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":"Q5236441$62C9CCE7-8235-4416-99FD-5DA4A781ED98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a32e7609e9be576c041f7edeec956794c2a5727","datavalue":{"value":{"amount":"+0.7898443341255188","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":"Q5236441$EBAEF0E9-189F-4F08-B902-3CD1298EEF71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5236441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5236441"}}}}}