{"entities":{"Q5096264":{"pageid":7125840,"ns":120,"title":"Item:Q5096264","lastrevid":41192665,"modified":"2025-04-18T22:20:29Z","type":"item","id":"Q5096264","labels":{"en":{"language":"en","value":"Logic representation in LF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572046"}},"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":"Q5096264$D7D8CD86-2ACD-4BF8-91F6-1D798948F6EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48403d33c6ef24c27946d62a947cf9067e049743","datavalue":{"value":{"text":"Logic representation in LF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096264$F75EEC58-D0B6-4B99-9EE5-D6B3203DBD31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f43d3fcb0cab3fa499c7b462e7c470ba52ae4f5","datavalue":{"value":"1496.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096264$4EAE93C0-6D30-444E-866E-9627F20298C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$C617EB8F-E902-49FB-B325-447B0EB9BC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd65e421cdf5089f62a705995b7921eb32b8441","datavalue":{"value":{"entity-type":"item","numeric-id":610395,"id":"Q610395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$E562D7FC-AC09-467A-9004-B62D20B9E56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bfbfd1114669cfc61de475a2c16b2597ff379c","datavalue":{"value":{"entity-type":"item","numeric-id":610396,"id":"Q610396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$BEA677A2-0882-4DA9-8764-296CE8D0569B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2d01887dc98fd8c4d6ade67aaf60252deb06c08b","datavalue":{"value":{"entity-type":"item","numeric-id":5057462,"id":"Q5057462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$A1CF24E3-B592-4066-A555-E775E4660EAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096264$B874F412-B736-4195-A193-AB3B7D46FDEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096264$155E7506-48B7-405C-AB98-2627F0FDFDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096264$A092EA9F-7147-4E98-888C-B3AD7973122C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096264$6C2AE6BF-E48D-433B-BC62-2EE616C1E908","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfa6a984ab6a7a433b6cd4dd1b849b3ac73a290f","datavalue":{"value":"7572046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096264$F047A740-3A65-42A6-8FE8-D03A48B4AEA9","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":"Q5096264$CFE6C007-D3CD-462D-8C00-6BC0F92F485C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$B949A51A-6667-44AA-B51A-BD7F12ED2024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$00652505-E58D-456A-BA55-2561536B2656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$2136D17E-E348-4458-A6A8-F2EE6BA78020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$729AEB7C-F873-4431-8E9F-82AE28703CB6","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":"Q5096264$E9E01D36-21D0-4594-81D1-8976526B82F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca897a8c41bcaa8d142a48f17d1f2b052c9612d2","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$360DDEC1-B183-4C5B-9426-61DAB91783C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$CDD78461-CEB4-4B83-9D6C-6A6D2B97541E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa1d627ce27fa8f8c947bf674bf4d7d27a8633f6","datavalue":{"value":{"entity-type":"item","numeric-id":3204067,"id":"Q3204067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$7C299DD9-39F9-45CF-8A24-47837DDF851A","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":"Q5096264$02B054FA-F0EC-466C-963C-7D25FF21C254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d496736dbfc239d833d5ef76056355be3ab28578","datavalue":{"value":{"entity-type":"item","numeric-id":3042444,"id":"Q3042444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$AE5601B7-D760-4E4A-BD12-37019ECF4A8F","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":"Q5096264$06749680-99A5-42C0-AC06-BEFC9E59EF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9333699cc6f4fb9c72e8fb4341e54b02f5c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1091132,"id":"Q1091132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$723673AF-B39E-4AC3-A0A7-418DE6BBB0AB","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":"Q5096264$7FDD0FB7-630F-45B3-A01A-6B16C878D5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ad42be65af5dfa9e512f666229d02ed5041b60","datavalue":{"value":{"entity-type":"item","numeric-id":3856127,"id":"Q3856127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096264$DCA96957-5B97-476E-81A9-8351109DA0AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89c154261a9fcbbacd7f820ede9d1ff0e2288740","datavalue":{"value":"10.1007/BFB0018356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096264$8EE0FDEC-B2C5-40ED-AD29-66640E50022E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec547d9b3e33f7485daa264d7f8a022683674403","datavalue":{"value":{"entity-type":"item","numeric-id":3312225,"id":"Q3312225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1b74464b30710a063bec68dfc80b5b4f88b31e","datavalue":{"value":{"amount":"+0.88955146","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":"Q5096264$0FBC45BB-65D3-4352-97FD-8CC6F8B314E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab0bcfd78047d2c320e77ee8a7ae754ee02e93a","datavalue":{"value":{"entity-type":"item","numeric-id":3088267,"id":"Q3088267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee074da06a1244eb33d98b16bda782646d3c35a","datavalue":{"value":{"amount":"+0.87132317","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":"Q5096264$864621D4-673D-4708-BD2F-1924D9E640C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f11ab555b7f115442d11c8cc9120555602651df","datavalue":{"value":{"entity-type":"item","numeric-id":393080,"id":"Q393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee074da06a1244eb33d98b16bda782646d3c35a","datavalue":{"value":{"amount":"+0.87132317","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":"Q5096264$2C7BE07B-6717-4CE3-8540-D5118F125A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb16c485c814e4b2039848fa6e93cacfd02777c","datavalue":{"value":{"entity-type":"item","numeric-id":4222842,"id":"Q4222842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1101f4ae2d251cdcfd9c697aba765424efad366","datavalue":{"value":{"amount":"+0.8680162","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":"Q5096264$C5989725-4A81-428B-8429-8FA276FF895B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d0250a859eea7e818cb8424ce54dc22a787af34","datavalue":{"value":{"entity-type":"item","numeric-id":6051683,"id":"Q6051683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ccdd3e70b80e2c904e74d2322d5328bd2a64783","datavalue":{"value":{"amount":"+0.8676643","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":"Q5096264$41F717C5-C0E3-459A-8D95-B382F8E6C366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68efc91a71e7dab68c459b405744f928597253b","datavalue":{"value":{"entity-type":"item","numeric-id":4841134,"id":"Q4841134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b579d0e58befa0ef26a5370a3091a74d0daad7","datavalue":{"value":{"amount":"+0.86406827","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":"Q5096264$90466A1A-A39E-4159-8A80-B79123E3C7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0edd6ef2670d5512ab6a15c1facdc45a57032d","datavalue":{"value":{"entity-type":"item","numeric-id":5556400,"id":"Q5556400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3822cb5d6a1ca77f998af7092962a024850f7fc7","datavalue":{"value":{"amount":"+0.8626557","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":"Q5096264$DC23E579-D38A-4A6A-81EF-A8BDCA2E13D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26c9479ca1b86cd392f1c5de9b62573b9c00c93","datavalue":{"value":{"entity-type":"item","numeric-id":3769992,"id":"Q3769992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624a07274a080863e96fc2d318adbe7bf3563a09","datavalue":{"value":{"amount":"+0.86218166","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":"Q5096264$AAAC3354-749F-4F0A-B272-6C466E1498F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd94842a113acd7d8ffa1287c686db6e27d7ff1","datavalue":{"value":{"entity-type":"item","numeric-id":3636789,"id":"Q3636789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2996d1e98377324ba472e51df6efd2fefc27c7e4","datavalue":{"value":{"amount":"+0.85836947","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":"Q5096264$4E9FA86B-55A3-4357-BFDF-019E3051061F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa7a12babac2e4c8a9d3456828afb4e745f13ad","datavalue":{"value":{"entity-type":"item","numeric-id":4501326,"id":"Q4501326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0a2ce564d603aea1facb625c187331668bf9af","datavalue":{"value":{"amount":"+0.85770273","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":"Q5096264$6F697B59-9A75-4719-943E-D79A4EC208D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096264"}}}}}