{"entities":{"Q5463271":{"pageid":7492830,"ns":120,"title":"Item:Q5463271","lastrevid":41073309,"modified":"2025-04-18T03:22:10Z","type":"item","id":"Q5463271","labels":{"en":{"language":"en","value":"An Application of Logic Engineering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2190984"}},"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":"Q5463271$D9D32178-2E80-44AF-81D3-EC99501F7070","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0794089646704315d3c5fe3ff24e9a4c5007ac95","datavalue":{"value":{"text":"An Application of Logic Engineering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5463271$E96A470D-AA77-47FE-9EC1-7EB2691497CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f67d9c02a7567d360ff6d5d01933f2af2e84aa5","datavalue":{"value":"1088.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463271$10E02F31-E861-452C-B13B-30E6647DE012","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28f368ceba13f379acac343070a56af24adeb81","datavalue":{"value":{"entity-type":"item","numeric-id":281162,"id":"Q281162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5463271$C5431C44-D755-4BCB-95E0-F6DE7B5B08D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5463271$F01B14EE-ADC1-45D4-AE37-9759945DE6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09a17bdbb0640d7f1c82e898f6fb082f96c3604d","datavalue":{"value":{"entity-type":"item","numeric-id":1402580,"id":"Q1402580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5463271$A84241FC-F009-406E-AA00-314FBE8DE140","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5463271$5FE34B8F-011F-4996-834E-7131D299982E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a70c5180bf550ba6280b74983623a9758e55ebde","datavalue":{"value":{"time":"+2005-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5463271$918F0331-F8CB-4DF8-A396-700BF1DE9AFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463271$5662EE2E-9E86-4D46-AC83-39DF788A44ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463271$B2323A2E-1CB6-4E6A-A424-BAB890669706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463271$CE04426D-F703-4C99-B227-1CFBBAB7A59E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb8305e64fba760d8bc8bc61c0d4ae92127c04e2","datavalue":{"value":"2190984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463271$9427C1EB-06BA-4022-92A1-943C7E82E4E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7507262233ef76f5ad3874620946f1db8874a8b","datavalue":{"value":"logic engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5463271$E6A3688A-A199-4FD3-8AC7-80CA0C684504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5463271$0B410BDC-56D9-427D-9847-909D59F8A197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5463271$5E613B2E-40E6-41CB-ABDC-D7EBB65527B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5463271$9E9F7252-E51D-4E41-AB35-EC7B49866CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346048dee665f8e254d86d136e4704641a5664bb","datavalue":{"value":"arrow logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5463271$95FC291E-4D42-408C-8DBD-46E5EE1FD261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d67e036fbd66a3f15ada2e8d3287341f64d130","datavalue":{"value":"specification formalisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5463271$0FFC9501-7089-461E-9874-72A76A074440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5463271$C69E3B1B-A27C-4D33-A39A-E5694154ACB4","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":"Q5463271$7E4DF0E1-3624-4FB7-857D-48E7F361FD9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11ede316f35ca972b1e49ee059a64490143771c8","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzi003","type":"string"},"datatype":"url"},"type":"statement","id":"Q5463271$045B7744-59A7-4D27-8FA0-86DAE4C77545","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e9213656b8d4aaac970aef16e921896371c4d1d","datavalue":{"value":"W2070046121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463271$5BDD92FD-CC62-4903-BAB6-091703B845E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"667aa285e0819ac612e3f90735cdf514c30c9d63","datavalue":{"value":"10.1093/JIGPAL/JZI003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463271$296185B4-527B-4B63-9881-EF1387A83B69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e92e38e6d74aafac5beb58206cb09cff2aec58a4","datavalue":{"value":{"entity-type":"item","numeric-id":5690838,"id":"Q5690838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbcc3b351df3d9b81ea860c34f0b054ea5fc99e","datavalue":{"value":{"amount":"+0.9134176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463271$2AA0CDA3-D078-4337-AFB7-702F16647B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a8c17680e81756a0eb019f3f218af5c1d4f038","datavalue":{"value":{"entity-type":"item","numeric-id":3766839,"id":"Q3766839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3b808b4586d2525612a2dea4797a741c12b81d","datavalue":{"value":{"amount":"+0.9134175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463271$E12D9BDF-99EF-4B29-9E50-0132AFC20134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7847cff27e6b0c55a11f3ce52b8ac8a46e9861","datavalue":{"value":{"entity-type":"item","numeric-id":4301157,"id":"Q4301157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f8a031dada150a5dbc70ecdca784c4455c8305","datavalue":{"value":{"amount":"+0.90168977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463271$2F904B88-E18B-4756-8732-13564263CB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ae5b2bc2e33876beabac4d58d257ddb6a12f7f","datavalue":{"value":{"entity-type":"item","numeric-id":4846259,"id":"Q4846259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb521e567a4ff1bbeea9512a020448651c3f2767","datavalue":{"value":{"amount":"+0.9009681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463271$0535CD98-C448-44D2-8E02-E67A31B933B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8443caedf36cb4a469d7c31ca07ef4894cd054f8","datavalue":{"value":{"entity-type":"item","numeric-id":3125203,"id":"Q3125203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699bc51c03c4bcf412b4ff9903fbe7206e0240cb","datavalue":{"value":{"amount":"+0.8900906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463271$618EF75F-6FE8-405D-B082-12DEA0483716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"260a15c3979279d1cfb6bf55ee530a24762d7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3998217,"id":"Q3998217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756fcb2f499de4ba06fb83d4e33bd23b4d5e5bee","datavalue":{"value":{"amount":"+0.86408114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463271$0CCFAB93-DA46-48AD-AF78-CE1CEE253B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f82afa560f1593879b1645c05c20ff7ee19049","datavalue":{"value":{"entity-type":"item","numeric-id":3709855,"id":"Q3709855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e29a665c653d4905364f87398acd9025a95d810","datavalue":{"value":{"amount":"+0.86106956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463271$CCFFDCAC-6AA5-42F0-8C75-151C280DBF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2771fac6617a05e6b4ffe091600a1c1f2b24bf49","datavalue":{"value":{"entity-type":"item","numeric-id":4594004,"id":"Q4594004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6976b488fd08d6cff2f3f1e976c70ccd675c2e21","datavalue":{"value":{"amount":"+0.8534024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463271$04B78270-9BDD-4EA0-AFE4-2F231246FECD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5463271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5463271"}}}}}