{"entities":{"Q3793737":{"pageid":5823643,"ns":120,"title":"Item:Q3793737","lastrevid":52828382,"modified":"2026-01-23T14:28:00Z","type":"item","id":"Q3793737","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058877"}},"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":"Q3793737$5733F3F0-236F-410D-B145-888E055918DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e9f44c611d0330847e63098e7e755d7daf93d04","datavalue":{"value":"0648.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793737$76298F1B-1AFE-43D6-A33D-7425BD7561EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"919f2ee91009235fe61da76d4b29121a370987a6","datavalue":{"value":{"entity-type":"item","numeric-id":3793736,"id":"Q3793736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3793737$91CEBC1B-D9F0-48A3-8258-A31FDC667DFA","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":"Q3793737$9F4BEDC9-FD11-41F5-BACE-3C74951ECAE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793737$C73C4BD7-B534-4F67-86DC-84E70B050DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793737$0019B262-0BDD-4252-8153-9F7553FBCE56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99720e775231ebd8b5ddec9ac3e9431d850a0c53","datavalue":{"value":"4058877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793737$1D5E6B65-C62B-48AA-A456-5AD12BC769DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793737$14B78D42-2ABA-467D-80CD-9DA9FC261D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffb9cd059437881dec4a1312f55c448f9dabe9d","datavalue":{"value":"predicate transition net","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793737$174E7365-6377-4E95-8E37-36E7990F0B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e49164bf8d93095c8165da590ed0130111fb875","datavalue":{"value":"PrT-net","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793737$297E9F21-1ADF-4F0C-B005-9EDC5071C415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793737$8EB675EB-7B73-490E-AEDD-21BE17260828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ca6addfe8bee707903287ae5b3c8b3de7623da8","datavalue":{"value":"existential quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793737$E536CF44-6524-484C-A1C6-6F8DB28094C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"570a77292ba5fc3c244b09461fa4cb521a5834a0","datavalue":{"value":"dead transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793737$CC2D2F87-3DC4-45B7-9F50-C9AF4CC548A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"835564e48f36c497b86533dfaadd98861b6d667b","datavalue":{"value":"predicate fact nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793737$DE57642B-5737-4A51-AA72-C531C41F7C24","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":"Q3793737$1A8FF701-FB23-4934-B584-784E6DAB0B56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a0517dbac372c8f07c645e56c90ce22744d45d","datavalue":{"value":{"entity-type":"item","numeric-id":4207590,"id":"Q4207590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da246f701703dec8ab4daed6f738e2a621b52d51","datavalue":{"value":{"amount":"+0.7179063558578491","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":"Q3793737$D994987D-7CF7-498D-AF2A-6AB9BD8C27EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4bb59c249910b7fb21f18d16de4c9b5eb7b133","datavalue":{"value":{"entity-type":"item","numeric-id":3782796,"id":"Q3782796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04f2aeda0e7ea4127f92db1070b3aa1f1f39ce3","datavalue":{"value":{"amount":"+0.708031177520752","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":"Q3793737$4A908678-10D7-4EE5-929B-784F0EE32F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a001b1e3a57c8d2928191a470e7cc3d44a8313a","datavalue":{"value":{"entity-type":"item","numeric-id":3340170,"id":"Q3340170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0400bc7f71fb18d500464d6bf2d50f618f9b5911","datavalue":{"value":{"amount":"+0.7065852880477905","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":"Q3793737$947E57B0-0403-4DDA-A9CD-1F00FBAABA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b1d01a8481dbd68368f687d7f0581a6c504548","datavalue":{"value":{"entity-type":"item","numeric-id":3774959,"id":"Q3774959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d455a468c728627798bfbec2933ce0e94b644b25","datavalue":{"value":{"amount":"+0.7012728452682495","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":"Q3793737$171B4EED-FD84-4AC3-BA28-116265B9BCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47e37af8602d58326a40c3bb27f7047d94777c3","datavalue":{"value":{"entity-type":"item","numeric-id":1058869,"id":"Q1058869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c9fce8016fbf3a8b92f85814e84609ae0e36b1","datavalue":{"value":{"amount":"+0.691882848739624","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":"Q3793737$67AC33C2-3965-4CA8-BB44-D37164D2F9A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3793737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3793737"}}}}}