{"entities":{"Q3774999":{"pageid":5804905,"ns":120,"title":"Item:Q3774999","lastrevid":52187894,"modified":"2026-01-21T03:08:38Z","type":"item","id":"Q3774999","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4035208"}},"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":"Q3774999$E7A09B56-2597-4D90-B42E-F46586953EA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77b9a95571bb7fe8b4613df3b3e3c4cae60f1b30","datavalue":{"value":"0635.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774999$88E293BE-F372-467F-963D-B6AB144AAD67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3774999$0E9895CE-A0AE-4346-AC88-C048A2637B98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774999$52739F6A-9BC0-4A7B-88E1-5621E99FCC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774999$30841D98-2104-48C8-BF72-E5B7612C30E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774999$8F90AE13-FBF9-493F-8D6E-AC47BD8E84B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774999$F123EBE4-FAC2-43A3-AE3A-B13AFF6D2927","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b36cfc254a20bfbc02e39b48caeefd8a59702327","datavalue":{"value":"4035208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774999$3549FA9B-97C7-43AB-9231-2FFACB569712","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774999$9ECC1156-47AD-4B13-BC9F-FB8B213CE331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774999$3129CDCF-EC93-436B-BC79-5ECE4F6DC05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774999$829A5C03-CC20-4ABA-BB38-5EB57EB9D222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b0f965c2c4a021260c5717dfdd14239f4b33e5","datavalue":{"value":"world","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774999$2DE64F12-D4B3-4389-855A-CF527DF2398D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee0e3752c7c70901b503bbfefbaafbe4767d748","datavalue":{"value":"atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774999$571A908D-E957-4F5F-BC53-D52C8A323110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774999$B9389CB7-A00D-4F9D-A24E-E1574B49C92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774999$7A6B6A84-BEA5-42D4-97DB-B1D2BE16F83F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61896ab07afda283516777c318c2c41bbdf6091d","datavalue":{"value":{"entity-type":"item","numeric-id":751303,"id":"Q751303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774999$62262028-F012-46B0-A698-5B3A92383E46","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":"Q3774999$93C6D302-2BF3-4A36-853A-8DB02DAEB919","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f79b5a81aea1c129afaa571f8fc3ba807fc812d","datavalue":{"value":{"entity-type":"item","numeric-id":5313209,"id":"Q5313209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e46eaf5590986fcec1a6385bc482d7c676d90e2","datavalue":{"value":{"amount":"+0.8765632510185242","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":"Q3774999$487B8808-73B8-4C6E-B8C8-6015A427CB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9774873cfb9ed4af71675a1383940d5b587a9703","datavalue":{"value":{"entity-type":"item","numeric-id":5394130,"id":"Q5394130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa9c6a347edfc365bfaf024675f30d0f58264b7","datavalue":{"value":{"amount":"+0.8603883981704712","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":"Q3774999$E55FD6C1-9B57-4C19-9460-2E8094C35BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0eda991e5788ef5b629dea9ebcc381db6d10d8","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc5f570b2b471cb90c66f9660c73d728946c39c","datavalue":{"value":{"amount":"+0.852807879447937","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":"Q3774999$4BE11138-E8D2-474A-B46B-D93399D2FC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670554c1c68c1a27c15588b4b51133bee292cdf9","datavalue":{"value":{"entity-type":"item","numeric-id":4221295,"id":"Q4221295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3416936e970522b093e785aec5770cdb16576b","datavalue":{"value":{"amount":"+0.8330461382865906","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":"Q3774999$6B8EE0D6-8272-4A1B-858E-72BFF84C934B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa06d6539769fd18443e292a0da1fe6a99ccabf","datavalue":{"value":{"entity-type":"item","numeric-id":1199813,"id":"Q1199813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7822218a8173d3e5c9c1f10dfa015c78335c671","datavalue":{"value":{"amount":"+0.8325652480125427","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":"Q3774999$33D51BA3-7085-4C48-8A08-C075BEEE6B48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3774999","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3774999"}}}}}