{"entities":{"Q4381409":{"pageid":6411008,"ns":120,"title":"Item:Q4381409","lastrevid":46540563,"modified":"2025-12-25T00:09:21Z","type":"item","id":"Q4381409","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1136099"}},"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":"Q4381409$18DCE109-944F-4999-894A-39D42E2DDDAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17dcd765b69c93d71f5476c86fdcaf199f24f2e9","datavalue":{"value":"0899.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381409$B97C08B9-6E66-4C76-BD6C-7F224C4AEEBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381409$AEE049B8-D736-4E07-8C09-0A3F001DD4C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef740e83a597a388d90d8f91c3676df25fc88e60","datavalue":{"value":{"time":"+1998-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4381409$8D4CC650-E0CB-429B-99A5-3CA1D9BA14EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381409$27397515-01FA-47FF-9AAB-DA4F0F25C717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381409$02BFF972-0399-4CA8-81DF-E95D0CE95BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381409$954F9939-82D6-4574-8A2F-F2579E1D3A5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"701d859c1f864ab02ed765787cd9656a28b07ebb","datavalue":{"value":"1136099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381409$7D558C71-B9A8-462D-86AF-D53FC4B21344","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a93ea4074193fb8ae439e1ba2f1fdb1043b510ce","datavalue":{"value":"finite variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381409$15883E80-7BCF-466F-88D0-D3F256A01F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381409$132AF80A-3901-4CE3-AEB7-BD394714D382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3fd76b52b729b42e9454d3261c78e98376462cb","datavalue":{"value":"L\u00f6wenheim-Skolem property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381409$E45F7945-F760-4770-B774-1623AB7A9FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423248905100fc54916f91dd5463beec3fe25805","datavalue":{"value":"complete binary tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381409$6D58726A-9B6F-4F07-9812-37EE0A947999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86891df2c64c418d041cac5b7c11ec6b3530884a","datavalue":{"value":"indiscernibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381409$49EB2BFE-5FE5-4FD9-B3D5-0FF9A23C36F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125a13efa833f8a5aae63f6e573c8313533114ff","datavalue":{"value":"Ehrenfeucht-Mostowski property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381409$1D827790-623F-43CF-9AD2-3BAEDDC6397D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381409$31CE4ADB-3620-4149-B39D-B33D634CE85D","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":"Q4381409$FF452586-1DB9-415C-80D4-02357A4CD874","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ed3e99ef970c8df23234f63fa1a85c26828e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1271559,"id":"Q1271559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4137bbc815d930df78e07ecd611a85bd25a4f9c6","datavalue":{"value":{"amount":"+0.7937217354774475","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":"Q4381409$0E2D44C7-DBD4-4B22-B490-CFC1C93DAF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef349337c0b305e18404e070b2ae07e4e737ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3007256,"id":"Q3007256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db21fb048f68ca6c4958070cab69ef34649b3769","datavalue":{"value":{"amount":"+0.7931933403015137","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":"Q4381409$C77A5A63-5BE7-4ACD-B6F6-D37A2B28D64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe827bbe0fc97db4a32b044296fdc3d6ca882d3","datavalue":{"value":{"entity-type":"item","numeric-id":4249221,"id":"Q4249221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04239d8cda1c5a9ef62030b5a477458227dd94fd","datavalue":{"value":{"amount":"+0.7770582437515259","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":"Q4381409$03DB47B2-AEE6-41D4-864C-77D03A33719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88099d47da7a9ce6447fad50b24637dcb6381f38","datavalue":{"value":{"entity-type":"item","numeric-id":1976880,"id":"Q1976880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4918c6aa046211f2b24a007d87fd694341651fde","datavalue":{"value":{"amount":"+0.7630217671394348","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":"Q4381409$11B3897A-093A-46C6-A9E9-FD4FFB0E641D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7cc1e3100c2aa28a0bde6a9f3970928ade67b2","datavalue":{"value":{"entity-type":"item","numeric-id":4254565,"id":"Q4254565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"826aa66f2aa9bbc2fc617df73e9acda1adab382f","datavalue":{"value":{"amount":"+0.75999516248703","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":"Q4381409$9B51EE4F-0870-4924-ABA8-8C7B1CFFF0C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4381409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4381409"}}}}}