{"entities":{"Q5287528":{"pageid":7317102,"ns":120,"title":"Item:Q5287528","lastrevid":46349700,"modified":"2025-12-24T15:06:32Z","type":"item","id":"Q5287528","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 234029"}},"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":"Q5287528$B0F2A87D-212D-4029-9ADD-CE429FF60E19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ed1ea77f968a3c9fc1bf2b369bbbbd29cdbf98e","datavalue":{"value":"0806.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287528$CC613099-47C3-493B-8A55-68DE27172D10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f940bd92b643617a9c9409064e71100e5e30a4","datavalue":{"value":{"entity-type":"item","numeric-id":3107914,"id":"Q3107914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287528$AD50832C-DE5D-432D-AE11-B688D925DA98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7eac22c9fa2ec1c1630024b56e369d32c95e716","datavalue":{"value":{"time":"+1993-07-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":"Q5287528$0594B791-EF04-45AE-86C3-F449AE5DBCA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287528$2D282276-96B2-47DF-9B83-39B624F6E668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287528$E40BFC66-904B-45CD-861E-66B1993C1592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287528$C6C41C2D-641C-4306-8401-DCFDCB0A47C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287528$A89F50FD-F88C-48A1-914C-7A4D831511A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e06e4274d09f62c25611a87ec47584b595fa6610","datavalue":{"value":"234029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287528$C34306C9-BE2B-4190-B0EB-E4D8B1032AA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbd47d2d6eade237f2dc22872f7f91e859f4e91c","datavalue":{"value":"commercial software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287528$E07582B5-E5C0-425B-B00F-756C69E950B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287528$9997A122-1156-4DB9-90AD-EBDFF06C8870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287528$156E40B0-26E1-4F1F-8A09-408274D35845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48891cab3073e32fe6459fa6762a899d5640092f","datavalue":{"value":"specification language Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287528$DD181454-FBEF-468C-9257-14F0ECB695DC","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":"Q5287528$BC7F5D36-0E33-4D40-B82A-04277CA4C097","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187ddb9dbc8f16f78a958b019089298a129462a4","datavalue":{"value":{"entity-type":"item","numeric-id":4003444,"id":"Q4003444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c2c82b2f2ef04d5970779355935a787bda2b378","datavalue":{"value":{"amount":"+0.8770290017127991","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":"Q5287528$1890F636-28F8-436A-AA82-7046CE77A951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8249330a13ae101895ef367eaa1d9987501e8733","datavalue":{"value":{"entity-type":"item","numeric-id":4321773,"id":"Q4321773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1357e8684bf4c045ab7dfdc718dd7433bc6b484b","datavalue":{"value":{"amount":"+0.875102698802948","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":"Q5287528$B140B4DC-40FD-4481-B257-D4C73D942A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164702179d1224e74d9e45803f0673746d3ce40a","datavalue":{"value":{"entity-type":"item","numeric-id":3999020,"id":"Q3999020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590f13a4768ed2f179d8504c92768ea20900ee2b","datavalue":{"value":{"amount":"+0.8735413551330566","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":"Q5287528$D7E2EDBE-92B6-462C-8CCC-8552253BE9EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5287528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5287528"}}}}}