{"entities":{"Q5486323":{"pageid":7515883,"ns":120,"title":"Item:Q5486323","lastrevid":49910374,"modified":"2026-01-11T23:21:12Z","type":"item","id":"Q5486323","labels":{"en":{"language":"en","value":"The probabilistic analysis of a greedy satisfiability algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051949"}},"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":"Q5486323$AC941769-785D-45C1-A640-828E72AA0604","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39c49d5c3c4c176ec00864d1d3d4ec71e819d96f","datavalue":{"value":{"text":"The probabilistic analysis of a greedy satisfiability algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5486323$C36A9D8D-4A42-4751-ABF6-E371ED6096FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db3e99d8a40a867b44fbffcc6329a5ada7b558e6","datavalue":{"value":"1099.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486323$A76B557C-D598-41F9-932F-E96E760C2F25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2c08274843d792a282cbffaf38d6d5529415ecf","datavalue":{"value":{"entity-type":"item","numeric-id":389950,"id":"Q389950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$E602DF4E-87AF-4157-9502-35D91A23A9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3114a9e7c18fd9d37962020c44023cd148b8085d","datavalue":{"value":{"entity-type":"item","numeric-id":215098,"id":"Q215098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$43589C5E-64B4-4183-B2FB-7BD83B46CF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ca22ccc80b4104b5d3e550bd5d4ff58b563df30","datavalue":{"value":{"entity-type":"item","numeric-id":3439114,"id":"Q3439114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$AA9D9C35-821C-4209-B8EF-49C0AA2838E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5486323$1AA5BE55-CADB-4B1F-8EB8-45933A00C2B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486323$40A7794C-2EFD-494B-B333-22D7DDD75F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486323$B0016E02-DB79-4FDA-B6FF-7E784315ED91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486323$FB3CBD56-8E81-429C-937A-0769A4B6CCE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3bf1ad5f2afcaa0130e6ba259413baf4de15d9d","datavalue":{"value":"5051949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486323$2633B9F0-25E1-451C-ADA8-0DB72DA924DD","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":"Q5486323$382EB817-EB0E-41FD-AD5E-D1A462B49BD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd6184c71992b6d680a337f1759c67531a1a351d","datavalue":{"value":"https://doi.org/10.1002/rsa.20104","type":"string"},"datatype":"url"},"type":"statement","id":"Q5486323$DD8EE723-6B04-4E8C-B2EA-09CBE998F483","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f6358b71814f753e19b2a0211d016f094397e21","datavalue":{"value":"W2602510746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486323$D8BCF63A-1965-46C4-A1F5-3665D9D03B9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9ec8e1184e554325a121c8e693cdabd0b731eb","datavalue":{"value":{"entity-type":"item","numeric-id":5175988,"id":"Q5175988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$962E43AD-F23F-4B17-BEFB-D92DDB6D4A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c471dd79e191d7c921317fa67f6574335edf78","datavalue":{"value":{"entity-type":"item","numeric-id":5901043,"id":"Q5901043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$F90930D1-FC28-4907-81CD-E54780183CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e541c4674545cf6a4dcdfeaa5c51252207a76cac","datavalue":{"value":{"entity-type":"item","numeric-id":3446816,"id":"Q3446816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$544FD1D1-112F-4417-A8E3-94D2063FBC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b2263f8d8211ce059177d1aaaff38dc2b95526","datavalue":{"value":{"entity-type":"item","numeric-id":3140436,"id":"Q3140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$E5ED5FBB-16AF-4D54-98A0-E5312A803568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$D6706AFB-1409-4101-BF1D-4B26810C8E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$B1B206C3-C023-41B9-A11D-00CFB77ED7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af8467cdfbad1c95b6d9a393e2ddeda30266a8d","datavalue":{"value":{"entity-type":"item","numeric-id":4828949,"id":"Q4828949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$761FF1D0-16D7-4A1C-8DA4-CAA1B7E538F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$859E0DB9-34CD-4C8C-A5A7-D354A2C00E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edb76a276668d1c21d7f884823f92b9dde7e8b3","datavalue":{"value":{"entity-type":"item","numeric-id":4226454,"id":"Q4226454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$5B522FD9-9D0C-4057-B9D7-6E8545B06EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf59279ec921640243f0d294b136bbadf9f25cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4411392,"id":"Q4411392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$6859E0CB-CC7F-42CE-BC76-134846E64889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979a496d1bbd3d0eb3c4d8b617ca3866c882813a","datavalue":{"value":{"entity-type":"item","numeric-id":2741515,"id":"Q2741515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$534DE6DD-0FC0-47AB-BA94-6E5BA52B1B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$31379043-5CB3-496D-B755-790A7CB12713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b027a27d3cedca6225accd31cd288997a4a4f66f","datavalue":{"value":{"entity-type":"item","numeric-id":4385514,"id":"Q4385514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$33BE025B-6709-4ED2-A33F-141AFAE02796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe828fd4beccc09dad312400e2c6c2cf14a54c8","datavalue":{"value":{"entity-type":"item","numeric-id":4263664,"id":"Q4263664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$4F8DE743-1303-4121-AC63-828CC87F95C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"077c20e648e78f7d3820921010381710fad7e2f2","datavalue":{"value":"10.1002/RSA.20104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486323$B9AA3DD6-A219-41F0-B18B-5088F9CD0197","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486323$05869FD8-354C-4A64-8CDC-B4454C53D04C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2479c6c8e84b6160d4b613c1b10578187b49658","datavalue":{"value":{"entity-type":"item","numeric-id":4411392,"id":"Q4411392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ba2154f7590812ef64b292d6f134b8afad90e9","datavalue":{"value":{"amount":"+0.9384417533874512","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":"Q5486323$94BFD9DB-B60E-492A-BF95-96D1AF48D041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495ad910e3b87188ae394e70d24503dae9ad821e","datavalue":{"value":{"entity-type":"item","numeric-id":1198012,"id":"Q1198012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038c1cf25080bc061cc8bfc50cd9c6a14e87226f","datavalue":{"value":{"amount":"+0.9129130840301514","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":"Q5486323$D228D589-4013-40E6-85E3-ECEF442D64E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47346030bf14a865d018673d2fb08721168c935","datavalue":{"value":{"entity-type":"item","numeric-id":3140436,"id":"Q3140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4629d7a19a712417d39b9cbe7c7e9705a865ea23","datavalue":{"value":{"amount":"+0.8795462250709534","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":"Q5486323$01AF036F-B377-43CC-9B7A-87C653CA4E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc36cb2114f75cfd9b7887e16ab81562249a77f3","datavalue":{"value":{"entity-type":"item","numeric-id":4876696,"id":"Q4876696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4629d7a19a712417d39b9cbe7c7e9705a865ea23","datavalue":{"value":{"amount":"+0.8795462250709534","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":"Q5486323$B01E8841-72F5-4513-A0AE-11BC87841881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7b9f03bb836528871f7a3c189e8425f5c76094","datavalue":{"value":{"amount":"+0.8710590600967407","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":"Q5486323$71FA439C-A06F-443D-BAEA-965D804084D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5486323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5486323"}}}}}